http://anna.fi.muni.cz/~xdrazan/biodivine/ 2010-03-19T07:11:15+01:00 http://anna.fi.muni.cz/~xdrazan/biodivine/ http://anna.fi.muni.cz/~xdrazan/biodivine/lib/images/favicon.ico text/html 2009-10-06T13:33:02+01:00 http://anna.fi.muni.cz/~xdrazan/biodivine/doku.php?id=contact&rev=1254828782&do=diff Labs * Systems Biology Laboratory - SyBiLa <sybila@fi.muni.cz> * Parallel and Distributed Systems Laboratory - ParaDiSe <paradise@fi.muni.cz> Authors * Sven Dražan - <sven@mail.muni.cz> * Jana Fabriková - <jana.f@mail.muni.cz> * David Šafránek - <safranek@mail.muni.cz> * Jiří Barnat - <barnat@fi.muni.cz> text/html 2009-10-06T14:24:35+01:00 http://anna.fi.muni.cz/~xdrazan/biodivine/doku.php?id=download&rev=1254831875&do=diff BioDiVinE 1.0 BioDiVinE bundle contains: * State space generator for *.bio files * Model checking algorithms from the DiVine tool adapted for biologicaly originated transition systems * Simaff GUI for vizualizations of the state space (1.6 MB) text/html 2009-10-02T13:58:00+01:00 http://anna.fi.muni.cz/~xdrazan/biodivine/doku.php?id=index&rev=1254484680&do=diff Welcome to the BioDiVinE support wiki! What can you find here: * Download * Documentation What is BioDiVinE Read more in BioDiVinE documentation. What is GeNeSim Read more in GeNeSim documentation. text/html 2009-10-06T14:00:16+01:00 http://anna.fi.muni.cz/~xdrazan/biodivine/doku.php?id=sidebar&rev=1254830416&do=diff * BioDiVinE Home * GeNeSim GUI * Download * Documentation * Contact us