Revision as of 20:27, 30 October 2023 edit Citation bot (talk \| contribs) Bots 5,868,385 edits Add: s2cid. \| Use this bot. Report bugs. \| Suggested by Abductive \| Category:Model checking \| #UCB_Category 12/24 ← Previous edit		Revision as of 06:35, 31 May 2024 edit undo David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,703 edits →References: cat looks ok to me Next edit →
Line 27: [[Category:Model checking]] ~~{{Improve categories\|date=December 2021}}~~

Abstract model checking: Difference between revisions