Using context descriptions and property definition patterns for software formal verification.
Philippe DhaussyJulien AuvrayStéphane de BelloyFrédéric BoniolEric LandelPublished in: ICST Workshops (2008)
Keyphrases
- formal verification
- model checking
- program slicing
- automated verification
- design patterns
- symbolic model checking
- bounded model checking
- contextual information
- software systems
- model checker
- source code
- artificial intelligence
- high level
- user interface
- context aware
- pattern discovery
- software architecture
- computer systems
- software development
- software engineering