Software Specification Refinement and Verification Method with I-Mathic Studio.
Gerald H. HilderinkPublished in: CPA (2006)
Keyphrases
- verification method
- model checking
- temporal logic
- reactive systems
- software systems
- formal methods
- highly modular
- computer systems
- software tools
- formal verification
- high level
- software quality
- source code
- software projects
- software components
- test case generation
- software development
- commercial software
- software developers
- control flow
- software evolution
- specification language
- databases
- software package
- business applications
- software design
- test suite
- formal specification
- software maintenance