DocumentCode :
3633725
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
fYear :
2009
Firstpage :
31
Lastpage :
32
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"
Publisher :
ieee
Conference_Titel :
High Performance Computational Systems Biology, 2009. HIBI ´09. International Workshop on
Print_ISBN :
978-0-7695-3809-9
Type :
conf
DOI :
10.1109/HiBi.2009.10
Filename :
5298708
Link To Document :
بازگشت