EVEN: A software environment for Estelle specification verification.
Ajin JirachiefpattanaRichard LaiPublished in: J. Syst. Softw. (1997)
Keyphrases
- software environment
- specification language
- formal verification
- formal specification
- model checking
- asynchronous circuits
- formal methods
- protocol specification
- programming language
- scientific visualization
- concurrent systems
- signature verification
- provably correct
- artificial intelligence
- temporal logic
- high level
- conceptual model
- false acceptance rate