Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
ENSE 623 Systems Validation and Verification Formal Approaches to System Validation/Verification with
 

Summary: ENSE 623 Systems Validation and Verification
Formal Approaches to System Validation/Verification with
Logic
Mark Austin
E-mail: austin@isr.umd.edu
Institute for Systems Research, University of Maryland, College Park
p. 1/6
Table of Contents
1. Working with Timed Systems
2. Mathematical Logic
3. Role of Logic in Systems Engineering
4. Long-Term Goals
5. Hierarchies of Logic
6. Propositional and First-Order Logic
7. Temporal Logic
8. Linear- and Branching-Temporal Logic
9. Examples. Microwave and Traffic Intersection Controller
p. 2/6
Working with Timed Systems
Definition

  

Source: Austin, Mark - Institute for Systems Research & Department of Civil and Environmental Engineering, University of Maryland at College Park

 

Collections: Engineering