Subsitution: A Formal Methods Case Study Using Monads and Transformations.
Françoise BellegardeJames HookPublished in: Sci. Comput. Program. (1994)
Keyphrases
- formal methods
- case study
- model checking
- formal analysis
- knowledge based systems
- formal specification
- provably correct
- artificial intelligence
- software engineering
- safety critical
- model checker
- temporal properties
- formal specification language
- process algebra
- high level
- open source
- development lifecycle
- real world
- modeling language
- temporal logic
- security properties
- knowledge acquisition
- expert systems
- multi agent systems