NuSMV is a symbolic model checker for the analysis of synchronous finite-state and infinite-state systems. NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, as a testbed for formal verification techniques, and applied to other research areas.
Attachment Tamer gives you control over attachment handling in Apple Mail.
Create and publish multi-touch books using beautiful templates.
FX Equation lets you create equations at the speed of type.
Makes verbal audio content accessible and conveniently transcribed.
Coverage is an app that helps you reduce your printing costs.
Create effective and easy-to-understand Kanban boards.
Plan, manage, and document meetings with ease, from one-on-one to 30 people.
Comments