An Example of Specification and Verification in Cesar.
Jean-Claude FernandezJean-Philippe SchwartzJoseph SifakisPublished in: The Analysis of Concurrent Systems (1983)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- formal specification
- colored petri nets
- computer vision
- verification method
- formal analysis
- concurrent systems
- user defined
- high level
- signature verification
- decision trees
- false acceptance
- databases
- handwritten signature verification
- provably correct
- face verification
- evolutionary algorithm
- decision making
- genetic algorithm