Automatic testing equivalence verification of spi calculus specifications.
Luca DuranteRiccardo SistoAdriano ValenzanoPublished in: ACM Trans. Softw. Eng. Methodol. (2003)
Keyphrases
- formal verification
- model checking
- transition systems
- concurrent systems
- model checker
- automated verification
- process algebra
- test generation
- symbolic execution
- bounded model checking
- data driven
- fully automatic
- formal specification
- specification language
- control flow
- real time
- semi automatic
- test cases
- learning algorithm