Automatic Unbounded Verification of Alloy Specifications with Prover9
Nuno MacedoAlcino CunhaPublished in: CoRR (2012)
Keyphrases
- automated verification
- concurrent systems
- formal verification
- fully automatic
- protocol specification
- bounded model checking
- semi automatic
- real world
- neural network
- data driven
- model checking
- face verification
- functional requirements
- expert systems
- website
- databases
- e learning
- asynchronous circuits
- artificial intelligence
- delay insensitive
- machine learning
- functional verification