HATS: Highly Adaptable and Trustworthy Software Using Formal Methods.
Reiner HähnlePublished in: ISoLA (2) (2010)
Keyphrases
- formal methods
- safety critical
- development lifecycle
- formal analysis
- knowledge based systems
- model checker
- model checking
- formal specification
- artificial intelligence
- temporal properties
- software engineering
- process algebra
- modeling language
- security properties
- provably correct
- reactive systems
- computer systems
- databases
- reverse engineering
- fault tolerant
- software development
- source code
- formal specification language