Login / Signup
SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems.
Bozena Wozna-Szczesniak
Agnieszka Zbrzezny
Andrzej Zbrzezny
Published in:
EPEW (2013)
Keyphrases
</>
bounded model checking
model checking
temporal logic
formal verification
linear temporal logic
finite state machines
management system
complex systems
optimal solution
multi agent systems
expert systems
probability distribution
distributed systems