An Overview of AFFIRM: A Specification and Verification System.
Susan L. GerhartDavid R. MusserDavid H. ThompsonD. A. BakerR. L. BatesRoddy W. EricksonRalph L. LondonD. G. TaylorDavid S. WilePublished in: IFIP Congress (1980)
Keyphrases
- formal verification
- asynchronous circuits
- protocol specification
- formal methods
- model checking
- formal specification
- colored petri nets
- high level
- specification language
- concurrent systems
- formal analysis
- face verification
- artificial intelligence
- website
- signature verification
- expert systems
- reactive systems
- high security
- clustering algorithm
- detailed discussion
- functional verification
- knowledge base