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 Model-Based Design with LTSA
 

Summary: ENSE 623 Systems Validation and Verification
Model-Based Design with LTSA
Mark Austin
E-mail: austin@isr.umd.edu
Institute for Systems Research, University of Maryland, College Park
p. 1/3
Table of Contents
1. Model-Based Design with LTSA
2. Behavior Modeling in LTSA
3. Finite State Processing Language
4. Compositional Model Checking with LTSA.
5. Examples .. lots of examples.
p. 2/3
Model-Based Design with LTSA
The labeled transistion system analyzer (LTSA) is a tool for:
...validating communication and sequencing among entities in systems containing
concurrent behaviors. LTSA mechanically checks that the specification of a
concurrent system satisfies the properties required of its behavior.
In LTSA ...
... processes correspond to sequences of actions.

  

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

 

Collections: Engineering