Distributed Verification Environment
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 2 May 2017
|License||Verified by||Verified on||Notes|
|ISC||Aubrey Raech||12 May 2017|
Leaders and contributors
Resources and communication
This entry (in part or in whole) was last reviewed on 12 May 2017.