Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.
Sohaib SoualahYousra HafidiMohamed KhalguiAllaoua ChaouiLaïd KahloulPublished in: ICSOFT (2020)
Keyphrases
- discrete event
- model driven engineering
- theorem prover
- natural deduction
- dynamic systems
- simulation model
- formal methods
- model driven
- discrete event simulation
- inference rules
- crisis response
- theorem proving
- software engineering
- low cost
- dynamical systems
- model checking
- supervisory control
- first order logic
- model driven architecture
- complex systems
- software development
- service oriented
- data driven
- business process modeling
- search space
- database systems
- databases