/simulation_traces

Formal proof by Isabelle/HOL: Existence of asymmetric weak simulation between a deterministic transition system and a nondeterministic transition system implies the inclusion of traces.

Primary LanguageIsabelle

No issues in this repository yet.