Sliced Model Checking for Phylogenetic Analysis
暂无分享,去创建一个
[1] Amir Pnueli,et al. In Transition From Global to Modular Temporal Reasoning about Programs , 1989, Logics and Models of Concurrent Systems.
[2] Guillaume Lecointre,et al. The Tree of Life: A Phylogenetic Classification , 2006 .
[3] Dov M. Gabbay,et al. A Sound and Complete Deductive System for CTL* Verification , 2008, Log. J. IGPL.
[4] Christel Baier,et al. Principles of model checking , 2008 .
[5] David L. Dill,et al. Parallelizing the Murphi Verifier , 1997, CAV.
[6] Dragan Bosnacki,et al. Model checking software: on some new waves and some evergreens , 2010, International Journal on Software Tools for Technology Transfer.
[7] Howard Barringer,et al. CTL* model checking on a shared-memory architecture , 2006, Formal Methods Syst. Des..
[8] Roberto Blanco,et al. Temporal logics for phylogenetic analysis via model checking , 2010 .
[9] Edmund M. Clarke,et al. Compositional model checking , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[10] M. C. Boukala,et al. Distributed CTL model-checking and counterexample search , 2009 .
[11] Edmund M. Clarke,et al. Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[12] Andreas Podelski,et al. ACSAR: Software Model Checking with Transfinite Refinement , 2007, SPIN.
[13] Roberto Blanco,et al. Phylogenetic Analysis Using an SMV Tool , 2011, PACBB.
[14] Krzysztof R. Apt,et al. Logics and Models of Concurrent Systems , 1989, NATO ASI Series.
[15] David L. Dill,et al. Parallelizing the Murϕ Verifier , 2001, Formal Methods Syst. Des..
[16] Laure Petrucci,et al. Distributed model-checking and counterexample search for CTL logic , 2012, Int. J. Crit. Comput. Based Syst..
[17] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[18] M. Carroll. The Belknap Press of Harvard University Press , 1970 .