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.
Law of Attraction
Shows publicly-owned, non-commercial campgrounds across United States.
Customize the look of your Mac and get weather forecasts.
WeatherDock is a nice weather application for the Mac.
WeatherBug Lite helps you keep track of weather reports on your Mac.
Great FREE weather app with the following features: + hourly forecast for the next 24 hours, + daily forecast for the next 5 days.
Get the Best Weather in a desktop widget with the AccuWeather Stratus.
Comments