Formal Methods and Innovation Economy: Facing New Challenges.
Alexander K. PetrenkoOlga L. PetrenkoPublished in: SEFM (2008)
Keyphrases
- formal methods
- formal analysis
- technological innovation
- safety critical
- formal specification
- knowledge based systems
- artificial intelligence
- model checking
- real world
- provably correct
- sustainable development
- model checker
- software engineering
- development lifecycle
- process algebra
- fine grained
- information technology
- case study
- databases
- temporal properties
- database