Login / Signup
Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems.
Abdul Rehman
Nadeem Akhtar
Omar Hussain Alhazmi
Published in:
Sci. Program. (2021)
Keyphrases
</>
model checking
reactive systems
formal methods
automated verification
temporal logic
formal specification
finite state machines
temporal properties
model checker
finite state
transition systems
verification method
formal verification
asynchronous circuits
timed automata
epistemic logic
partial order reduction
reachability analysis
process algebra
artifact centric
pspace complete
symbolic model checking
artificial intelligence
distributed systems
software engineering
expert systems