Dec 26, 2024  
2015-2016 General Catalog 
    
Catalog Navigation
  Catalog Home

  All Degree Programs
  Courses: General Information
  **COURSE SEARCH**

  Academic Calendar, 2015-2016
  The University
  Academic Programs
  Student Life
  Undergraduate Admissions
  Financial Aid and Scholarships
  Undergraduate Fees and Expenses
  Undergraduate Degree Requirements
  Regulations
  The General Education Component of Undergraduate Education

  University College
  College of Agriculture
  College of Art & Design
  E.J. Ourso College of Business
  School of the Coast & Environment
  College of Engineering
  Roger Hadfield Ogden Honors College
  College of Human Sciences & Education
  College of Humanities & Social Sciences
  School of Mass Communication
  College of Music & Dramatic Arts
  College of Science
  The Graduate School
  School of Veterinary Medicine
  LSU Paul M. Hebert Law Center

  Research/Faculty Resources
  International Programs
  Continuing Education
  Reserve Officers Training Corps
  LSU–Southern University Cooperative Programs
  Honorary Societies
  Alumni Relations Development
  Administration
  Faculty
  Glossary

  Undergraduate Degree Codes 2015-16
  Undergraduate Minor Codes 2015-16
  Graduate Degree Codes 2015-16
  Graduate Minor Codes 2015-16
  My Portfolio
HELP
2015-2016 General Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

CSC 7150 Program Analysis and Model Checking (3)

Prereq.: CSC 4890  or CSC 7101  or equivalent. Automata on infinite objects; Buechi Automata; Muller Automata; Rabin Automata; safety and liveness properties; linear temporal logic (LTL), from LTL to automoata; branching time logics; Knaster-Tarski fixpoint theorem; abstract interpretation.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)