/tick-tock-CSP

tick-tock-CSP model (Isabelle/HOL mechanisation + FDR encoding)

Primary LanguageIsabelle

Watchers