An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.
Prasanna ThatiKoushik SenNarciso Martí-OlietPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- process algebra
- formal specification
- asynchronous circuits
- specification language
- specification languages
- model checking
- software testing
- code generation
- concurrent systems
- formal methods
- reverse engineering
- formal verification
- temporal logic
- test cases
- transition systems
- discussion forums
- test case generation
- relational databases