Login / Signup
Simulation, Model Checking, and Execution of Activity Models.
Abdurrahman Alshareef
Hessam S. Sarjoughian
Published in:
CoRR (2021)
Keyphrases
</>
model checking
finite state machines
temporal logic
reactive systems
automated verification
formal verification
finite state
temporal properties
transition systems
reachability analysis
knowledge representation
mathematical models
formal specification
epistemic logic
linear temporal logic
computation tree logic