Model-checking CSP-Z: strategy, tool support and industrial application.
Alexandre MotaAugusto SampaioPublished in: Sci. Comput. Program. (2001)
Keyphrases
- model checking
- industrial applications
- tool support
- temporal logic
- model checker
- formal verification
- temporal properties
- formal specification
- constraint satisfaction problems
- automated verification
- epistemic logic
- software development
- constraint satisfaction
- transition systems
- timed automata
- symbolic model checking
- design decisions
- reachability analysis
- software tools
- verification method
- software engineering
- computation tree logic
- test suite
- reactive systems
- concurrent systems
- linear temporal logic
- requirements engineering
- software projects
- constraint programming
- information systems
- bounded model checking
- business processes
- np hard
- case study