Formal verification of concurrent software: two case studies.
Hana ChocklerEitan FarchiZiv GlazbergBenny GodlinYarden Nir-BuchbinderIshai RabinovitzPublished in: PADTAD (2006)
Keyphrases
- formal verification
- case study
- program slicing
- model checking
- software development
- bounded model checking
- automated verification
- model checker
- symbolic model checking
- software systems
- lessons learned
- real world
- development process
- user interface
- knowledge management
- literature review
- automated reasoning
- software tools
- knowledge representation
- software architecture
- computer systems
- software engineering