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.
Mall Creeps
Take control of time, learn about your habits, and better organize workflows.
Integrate a seamless advanced calendar in your system.
An Adobe Air application for working with the Pomodoro technique.
Backboard is a Mac OS app which integrates with 37signals' Backpack.
A Czech Republic name day reference that resides in the menu bar.
Track the time spent on various activities.
Comments