Fast Parametric Model Checking through Model Fragmentation.

Xinwei Fang Radu Calinescu Simos Gerasimou Faisal Alhwikem

Published in: ICSE (2021)

Keyphrases

model checking
temporal properties
finite state machines
verification method
temporal logic
artificial intelligence
model checker