Title :
DiVinE 2.0: High-Performance Model Checking
Author :
Jiri Barnat;Lubos Brim;Petr Rockai
Author_Institution :
Fac. of Inf., Masaryk Univ., Brno, Czech Republic
Abstract :
We present a tool for parallel enumerative LTL model-checking and reachability analysis. The tool brings model checking to high-powered multi-core systems, as well as high-performance clusters. Boasting pluggable modelling language framework, it is possible to leverage the available parallel algorithms for multiple problem domains, by using suitable input language.
Keywords :
"Biological system modeling","Automata","Parallel algorithms","Hardware","Application software","Predictive models","Computational systems biology","Informatics","Reachability analysis","Read-write memory"
Conference_Titel :
High Performance Computational Systems Biology, 2009. HIBI ´09. International Workshop on
Print_ISBN :
978-0-7695-3809-9
DOI :
10.1109/HiBi.2009.10