dSPIN: A Dynamic Extension of SPIN-Reference-Cited by-同舟云学术

dSPIN: A Dynamic Extension of SPIN

Published:1999 Issue: Volume: Page:261-276
ISSN:0302-9743
Container-title:Theoretical and Practical Aspects of SPIN Model Checking
language:
Short-container-title:

Author:

Demartini Claudio,Iosif Radu,Sisto Riccardo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48234-2_20

Reference10 articles.

1. Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman: Compilers, Principles, Techniques and Tools. Addison-Wesley (1986)

2. R. Bayer and M. Schkolnick: Concurrency of Operations on B-Trees. Acta Informatica, Vol. 9. Springer-Verlag (1977) 1–21

3. Lect Notes Comput Sci;C. Thierry,1998

4. C. Demartini, R. Iosif, and R. Sisto: Modeling and Validation of Java Multithreading Applications using SPIN, Proceedings of the 4th workshop on automata theoretic verification with the SPIN model checker, Paris, France (November 1998) 5–19

5. R. Iosif: The dSPIN User Manual. http://www.dai-arc.polito.it/dai-arc/auto/tools/tool7.shtml

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Software Model Checking;Computing Handbook, Third Edition;2014-05-08

2. Programming and Verifying Component Ensembles;From Programs to Systems. The Systems perspective in Computing;2014

3. Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution;Lecture Notes in Computer Science;2013

4. Verification of complex dynamic data tree with mu-calculus;Automated Software Engineering;2012-10-16

5. Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems;Innovations in Systems and Software Engineering;2009-12-22