Login / Signup
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.
Sohaib Soualah
Yousra Hafidi
Mohamed Khalgui
Allaoua Chaoui
Laïd Kahloul
Published 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