Formal Verification of LSCs in the Development Process.
Matthias BrillRalf BuschermöhleWerner DammJochen KloseBernd WestphalHartmut WittkePublished in: SoftSpez Final Report (2004)
Keyphrases
- development process
- formal verification
- model checking
- software engineering
- case study
- automated verification
- bounded model checking
- software development
- application development
- metamodel
- model checker
- development environment
- symbolic model checking
- systems development
- agent oriented
- functional requirements
- software application
- software projects
- development processes
- temporal logic
- product development
- data sets
- databases
- requirements engineering
- software quality
- software systems
- object oriented
- black box
- requirements elicitation
- multi agent