L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.
Sara Van LangenhoveAlbert HoogewijsPublished in: WADT (2006)
Keyphrases
- tool support
- model checker
- model checking
- test suite
- verification method
- formal verification
- temporal logic
- asynchronous circuits
- software tools
- epistemic logic
- formal methods
- design decisions
- bounded model checking
- software projects
- software engineering
- formal specification
- software development
- test cases
- reactive systems
- test generation
- requirements engineering
- linear time temporal logic
- hierarchical structure
- source code
- binary decision diagrams
- logical framework
- conceptual modeling
- intrusion detection
- data model
- xml documents
- real world