The top documents tagged [initial states safe]

Model Checking with Proofs and Counterexamples
Documents Model Checking with Proofs and Counterexamples

27 views