Login / Signup
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL.
Sohaib Soualah
Mohamed Khalgui
Allaoua Chaoui
Published in:
AINA (2) (2024)
Keyphrases
</>
formal verification
discrete event systems
theorem prover
model checking
model checker
natural deduction
petri net
hardware implementation
complex systems
cost effective
constraint satisfaction
theorem proving
shared memory
telecommunication networks
failure diagnosis
timed petri nets