ACTL Local Model Update with Constraints
暂无分享,去创建一个
Yan Zhang | Yi Zhou | Fei Pu | Michael Kelly | Yan Zhang | Yi Zhou | Fei Pu | Michael Kelly
[1] Yan Zhang,et al. CTL Model Update for System Modifications , 2011, J. Artif. Intell. Res..
[2] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..
[3] Helmut Veith,et al. Counterexample-guided abstraction refinement for symbolic model checking , 2003, JACM.
[4] Philippe Schnoebelen,et al. Systems and Software Verification , 2001, Springer Berlin Heidelberg.
[5] Yi Zhou,et al. Foundations of Tree-like Local Model Updates , 2010, ECAI.
[6] Roderick Bloem,et al. Finding and fixing faults , 2005, J. Comput. Syst. Sci..
[7] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .
[8] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .
[9] Gordon Fraser,et al. Nondeterministic Testing with Linear Model-Checker Counterexamples , 2007 .
[10] Yan Zhang,et al. Local Model Update with an Application to Sliding Window Protocol , 2010, KES.
[11] Mark Ryan,et al. Theoretical foundations of updating systems , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[12] Georg Gottlob,et al. On ACTL Formulas Having Linear Counterexamples , 2001, J. Comput. Syst. Sci..
[13] Helmut Veith,et al. Tree-like counterexamples in model checking , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[14] Georg Gottlob,et al. Enhancing Model Checking in Verification by AI Techniques , 1999, Artif. Intell..