Project information
BioDiVinE v1.5: A tool for formal analysis of dynamical systems (BioDiVinE v1.5)

Project Identification
MUNI/33/21/2013
Project Period
1/2014 - 6/2014
Investor / Pogramme / Project type
Masaryk University
MU Faculty or unit
Faculty of Informatics

Cílem projektu je refaktorizace, rozšíření a integrace výpočetních technik pro formální analýzu spojitých dynamických modelů biologických procesů. Jedná se o metody pro syntézu parametrů a model checking vzhledem k požadovaným dynamickým omezením reprezentovaným v temporální logice. Metody využívají obdélníkovou abstrakci. Techniky byly dosud implementovány pouze jako experimentální prototypy, cílem je tedy vytvoření integrovaného nástroje.

You are running an old browser version. We recommend updating your browser to its latest version.

More info