Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
Pavel ParízekFrantisek PlasilJan KofronPublished in: SEW (2006)
Keyphrases
- model checker
- software components
- model checking
- formal specification
- temporal logic
- web services
- formal verification
- description language
- formal methods
- software systems
- software development
- building blocks
- symbolic model checking
- transition systems
- source code
- specification language
- open source
- set theory
- programming language
- epistemic logic
- orders of magnitude
- concurrent systems
- case study
- software engineering
- reverse engineering
- test suite
- object oriented