Analysis and Prediction of Viral Infections using Statistical Model Checking.

Salim Chehida Jean-Claude Tshilenge Mfumu

Published in: MEDES (2021)

Keyphrases

model checking
temporal logic
temporal properties
distributed systems
finite state machines
automated verification
artificial intelligence
dynamic analysis
epistemic logic
symbolic model checking
np hard
abstract interpretation
partial order reduction