free society. We build this foundation.
With your help, we will raise $450,000 this
winter to make this foundation even stronger.
Donate today, and build us up for 2014.
DiVinE is an extensible system for distributed formal verification of concurrent systems. DiVinE as such can be viewed from two very different points of view: as a tool for distributed state space analysis and LTL model-checking, and as a development and fast prototyping environment.
released on 3 June 2008
|License||Verified by||Verified on||Notes|
|GPLv2orlater||Deborah Nicholson||24 June 2008|
Leaders and contributors
Resources and communication
This entry (in part or in whole) was last reviewed on 24 June 2008.