Verification of Concurrent Software with FLAVERS.
Gleb NaumovichLori A. ClarkeLeon J. OsterweilMatthew B. DwyerPublished in: ICSE (1997)
Keyphrases
- software systems
- software tools
- model checking
- software design
- software architecture
- formal methods
- software maintenance
- software developers
- software package
- test cases
- software development
- formal verification
- hardware design
- commercial software
- asynchronous circuits
- hardware designs
- reverse engineering
- face verification
- high level
- personal computer
- development process
- computer systems
- multi agent systems
- search algorithm