Theoretical and practical aspects of SPIN Model checking : 5th and 6th international SPIN workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999; proceedings
作者：
关键词:
摘要: I:Selection of Papers Presented at 5thSPIN99.- Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving.- Runtime Efficient State Compaction in Spin.- Distributed-Memory SPIN.- Partial Order Reduction Presence Rendez-vous Communications Unless Constructs Weak Fairness.- Divide, Abstract, Model-Check.- II: 6thSPIN99.- Methods Adoption: What's Working, Not!.- for Managers.- Xspin/Project - Validation Management Xspin.- Analyzing Mode Confusion via Checking.- Detecting Feature Interactions the Terrestrial Trunked Radio (TETRA) Network Promela Java PathFinder A Translator from to Promela.- VIP: Visual Interface Events Property Patterns.- Assume-Guarantee Software: Comparative Case Study.- Framework Automatic Construction Abstract Models.- Operator Procedures.- Applying Verification.- The Engineering a Checker: Gnu i-Protocol Study Revisited..- Embedding Dialect SDL PROMELA.- dSPIN: Dynamic Extension SPIN.
uni-konstanz.de
springer.com
sci-hub.se 参考文章(12)
Albert Timothy Chamillard, Lori A. Clarke, An empirical comparison of static concurrency analysis techniques University of Massachusetts Amherst. ,(1996)
Sérgio Vale Aguiar Campos, Kenneth L. McMillan, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Symbolic Model Checking ,(1993)
Matthew B. Dwyer, Corina S. PĂsĂreanu, Model Checking Generic Container Implementations Selected Papers from the International Seminar on Generic Programming. pp. 162- 177 ,(1998) , 10.1007/3-540-39953-4_13
Zohar Manna, Amir Pnueli, The temporal logic of reactive and concurrent systems ,(1992)
Orna Kupferman, Moshe Y. Vardi, On the Complexity of Branching Modular Model Checking (Extended Abstract) international conference on concurrency theory. pp. 408- 422 ,(1995) , 10.1007/3-540-60218-6_31
M.Y. Vardi, On the complexity of modular model checking logic in computer science. pp. 101- 111 ,(1995) , 10.1109/LICS.1995.523248
George S. Avrunin, Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Applying static analysis to software architectures foundations of software engineering. ,vol. 22, pp. 77- 93 ,(1997) , 10.1145/267895.267904
Pierre Wolper, Expressing interesting properties of programs in propositional temporal logic Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. pp. 184- 193 ,(1986) , 10.1145/512644.512661
J.M. Atlee, J. Gannon, State-based model checking of event-driven system requirements IEEE Transactions on Software Engineering. ,vol. 19, pp. 24- 40 ,(1993) , 10.1109/32.210305
G.J. Holzmann, The model checker SPIN formal methods in software practice. ,vol. 23, pp. 279- 295 ,(1997) , 10.1109/32.588521