model-checker topic

Fully verified model checker for realtime systems

wimmers

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

nclarius

The LTSmin model checking toolset

utwente-fmt

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

imitator-model-checker

Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

ltlfuzzer