DiVinE 2.0: High-Performance Model Checking
暂无分享,去创建一个
Lubos Brim | Petr Rockai | Jiri Barnat | J. Barnat | L. Brim | Petr Ročkai
[1] Lubos Brim,et al. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE , 2007, FBTC@CONCUR.
[2] Message Passing Interface Forum. MPI: A message - passing interface standard , 1994 .
[3] Lubos Brim,et al. Scalable Multi-core LTL Model-Checking , 2007, SPIN.
[4] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[5] Lubos Brim,et al. DiVinE - A Tool for Distributed Verification , 2006, CAV.
[6] Lubos Brim,et al. DiVinE Multi-Core - A Parallel LTL Model-Checker , 2008, ATVA.