C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Fast Parametric Model Checking through Model Fragmentation.
Xinwei Fang
Radu Calinescu
Simos Gerasimou
Faisal Alhwikem
Published in:
CoRR (2021)
Keyphrases
</>
model checking
temporal properties
temporal logic
model checker
finite state machines
formal verification
process algebra
domain independent
verification method