Computer Science ›› 2013, Vol. 40 ›› Issue (10): 122-126.
Previous Articles Next Articles
XI Qi,WANG Qing-xian,ZENG Yong-jun and QIN Yan-feng
| [1] Clarke E,Grumberg O,Peled D．Model Checking(Second Prin-ting)[M]．London:MIT Press,2000:27-30 [2] Michael H,Maark R．Logic In Computer Science:Modelling and Resoning about System(Second Edition)[M]．London:Combridge University Press,2004:221-229 [3] Clarke E,Emerson E,Sistla A．Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifcations[C]∥ACM Transactions on Programming Languages and Systems．1986,8:244-263 [4] Vergauwen B,Lewi J．A Linear Local Model Checking Algorithm for CTL[C]∥Proceedings of 4th International Conference on Concurrency Theory,1993.Hidesheim,Germany,Springer-Verlag,1993:447-461 [5] Heljanko K．Implementing a CTL Model checker[C]∥Workshop Concurrency:Specification & Programming．Humboldt-University zu Berlin, Institut fur Informatik,1996:75-84 [6] Mumme M,Ciardo G．A fully symbolic bisimulation algorithm[C]∥Giorgio Delzanno and Igor Potapov．RP,volume 6945of Lecture Notes in Computer Science,Springer,2011:218-230 [7] Lefticaru R,Ipate F．Automated Model Design using Genetic Algorithms and Model Checking[C]∥2009Fourth Balkan Confe-rence in Informatics(BCI’09)．Thessaloniki,IEEE Computer Society,2009:79-84 [8] 李梦君,李舟军,陈火旺．基于抽象解释理论的程序验证技术[J]．软件学报,2008,9(1):17-26 [9] Cousot P．Formal Verification by Abstract Interpretation[C]∥NASA Formal Methods 2012,4th International Symposium．NFM,Norfolk,VA,USA,2012:3-7 [10] Meulen J V,Pecheur C．Milestones:A model checker combining symbolic model checking and partial order reduction[C]∥NASA Formal Methods 2011,volume 6617of LNCS．Springer,2011:525-531 |
| No related articles found! |
|
||
Home