This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Verification is a paramount and formidable challenge in software engineering. Moreover, it serves as a pivotal process that distinguishes software engineering from mere software development. Spin is a popular open-source software verification tool that has seen continuous research and development since its inception at Bell Labs in 1980. 1 Under the hood, Spin is an explicit-state model checker,…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.