Specification-Based Testing for CoCasl's Modal Specifications.
Delphine LonguetMarc AiguierPublished in: CALCO (2007)
Keyphrases
- transition systems
- formal specification
- formal verification
- specification language
- model checking
- concurrent systems
- reactive systems
- code generation
- high level
- temporal logic
- test case generation
- control flow
- asynchronous circuits
- attribute grammars
- software testing
- modal logic
- operational semantics
- model checker
- practical reasoning
- formal language
- unit testing
- databases
- formal methods
- test cases