Local Model Update with an Application to Sliding Window Protocol
暂无分享,去创建一个
[1] Mark Ryan,et al. Theoretical foundations of updating systems , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[2] Helmut Veith,et al. Tree-like counterexamples in model checking , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[3] George J. Milne,et al. Correct Hardware Design and Verification Methods , 2003, Lecture Notes in Computer Science.
[4] Helmut Veith,et al. Counterexamples Revisited: Principles, Algorithms, Applications , 2003, Verification: Theory and Practice.
[5] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .
[6] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .
[7] Behrouz A. Forouzan,et al. Data Communications and Networking , 2000 .
[8] Roderick Bloem,et al. Repair of Boolean Programs with an Application to C , 2006, CAV.
[9] Yan Zhang,et al. CTL Model Update for System Modifications , 2011, J. Artif. Intell. Res..
[10] Roderick Bloem,et al. Finding and Fixing Faults , 2005, CHARME.
[11] Georg Gottlob,et al. Enhancing Model Checking in Verification by AI Techniques , 1999, Artif. Intell..
[12] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.