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.