Formal Methods in System and MpSoC Performance Analysis and Optimisation.
Rolf ErnstMarek JersakHans SarnowskiMarco BekooijSamarjit ChakrabortyPublished in: DATE (2008)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- model checking
- safety critical
- model checker
- genetic algorithm
- formal specification
- artificial intelligence
- provably correct
- reactive systems
- process algebra
- software engineering
- knowledge representation
- security properties
- databases
- temporal properties
- formal specification language