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