Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.
Sohaib SoualahYousra HafidiMohamed KhalguiAllaoua ChaouiLaïd KahloulPublished in: ICSOFT (Selected Papers) (2020)
Keyphrases
- theorem prover
- discrete event
- natural deduction
- formal proof
- theorem proving
- automated reasoning
- inference rules
- first order logic
- dynamic systems
- automated theorem proving
- higher order logic
- simulation model
- term rewriting
- discrete event systems
- dynamical systems
- open source
- crisis response
- proof planning
- proof search
- discrete event simulation
- multiple faults
- mathematical knowledge
- cloud computing