| | |
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.
|
