Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology.
Yann Thierry-MiegPublished in: PNSE @ Petri Nets (2016)
Keyphrases
- formal methods
- software engineering
- formal analysis
- safety critical
- formal specification
- knowledge based systems
- artificial intelligence
- model checker
- process algebra
- provably correct
- model checking
- software development
- reactive systems
- programming language
- expert systems
- case study
- temporal properties
- reverse engineering
- modeling language
- fault tolerant
- information systems