Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.
Soraya Mesli-KesraouiDjamal KesraouiFlávio OquendoAlain BignonArmand ToguyéniPascal BerruetPublished in: ECSA (2016)
Keyphrases
- formal verification
- software intensive systems
- model checking
- software engineering
- software systems
- requirements engineering
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- program slicing
- temporal logic
- object oriented
- reinforcement learning
- case study
- databases
- artificial intelligence