Expressing checkable properties of dynamic systems: the Bandera Specification Language.
James C. CorbettMatthew B. DwyerJohn Hatcliff RobbyPublished in: Int. J. Softw. Tools Technol. Transf. (2002)
Keyphrases
- dynamic systems
- specification language
- complex systems
- programming language
- description language
- discrete event
- qualitative reasoning
- dynamical systems
- consistency based diagnosis
- formal specification
- model based diagnosis
- linear time invariant
- bayesian networks
- state variables
- continuous variables
- fine grained
- adaptive control
- general purpose
- qualitative models
- web services
- ordinary differential equations
- databases
- database