Introductory paper | International Journal on Software Tools for Technology Transfer Skip to main content
Springer Nature Link
Log in

Introductory paper

  • Special section on the algorithmics of software model checking
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Ball T, Rajamani SK (2001) Automatically validating temporal safety properties of interfaces. In: Proceedings of SPIN 2001. Lecture notes in computer science, vol 2057. Springer, Berlin Heidelberg New York

  2. Bengtsson J, Larsen KG, Larsson F, Pettersson P, Yi W (1997) UPPAAL – a tool suite for automatic verification of real-time systems. In: Alur R, Henzinger TA, Sonntag ED (eds) Hybrid systems III – Verification and control. Lecture notes in computer science, vol 1066. Springer, Berlin Heidelberg New York, pp 232–243

  3. Bérard B, Finkel M, Bidoit A, Laroussine F, Petit A, Petrucci L, Schoenebelen P, McKenzie P (2001) Systems and software verification. Springer, Berlin Heidelberg New York

  4. Clarke EM, McMillan KL, Dill DL, Hwang LJ (1992) Symbolic model checking: 1020 states and beyond. Inf Comput 98(2):142–170

    Article  Google Scholar 

  5. Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge, MA

  6. Cleaveland R (1999) Pragmatics of model checking: an STTT special section. Int J Softw Tools Technol Transfer 2(3):208–218

    Article  Google Scholar 

  7. Corbett JC, Dwyer MB, Hatcliff J, Laubach S, Pasareanu CS, Robby, Zheng H (2000) Bandera: extracting finite-state models from Java source code. In: 22nd IEEE international conference on software engineering (ICSE)

  8. Edelkamp S, Leue S, Lluch-Lafuente A (2004) Directed explicit-state model checking in the validation of communication protocols. Int J Softw Tools Technol Transfer 5(2–3):247–267. DOI: 10.1007/s10009-002-0104-3

  9. Godefroid P (2003) Software model checking: the VeriSoft approach. Technical report, Bell Labs Technical Memorandum ITD-03-44189G. Formal Meth Syst Des (in press)

    Google Scholar 

  10. Havelund K, Pressburger T (2000) Model checking Java programs using Java PathFinder. Int J Softw Tools Technol Transfer 2(4):366–381

    Article  Google Scholar 

  11. Havelund K, Visser W (2002) Program model checking as a new trend. Int J Softw Tools Technol Transfer 4(1):8–20. DOI: 10.1007/s10009-002-0080-7

  12. Holzmann GJ (2003) The SPIN model checker, primer and reference manual. Addison-Wesley, Reading, MA

  13. Holzmann GJ, Smith MH (2000) Automating software feature verification. Bell Labs Tech J 5(2):72–87

    Article  Google Scholar 

  14. Iosif R, Sisto R (1999) dSPIN: A dynamic extension of SPIN. In: Proceedings of the 6th SPIN workshop. Lecture notes in computer science, vol 1680. Springer, Berlin Heidelberg New York, pp 261–276

  15. McMillan KL (1993) Symbolic model checking. Kluwer, Dordrecht

  16. Peled DA (2001) Software reliability methods. Springer, Berlin Heidelberg New York

  17. Visser W, Havelund K, Brat G, Park S (2000) Model checking programs. In: IEEE International conference on automated software engineering. September 2000

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, University of Nebraska, 256 Avery Hall, Lincoln, NE, 68588-0115, USA

    Matthew Dwyer

  2. Department of Computer and Information Science, University of Konstanz, 78457, Konstanz, Germany

    Stefan Leue

Authors
  1. Matthew Dwyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Leue
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matthew Dwyer.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dwyer, M., Leue, S. Introductory paper. Int J Softw Tools Technol Transfer 6, 257–259 (2004). https://doi.org/10.1007/s10009-004-0168-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-004-0168-3

Keywords

Search

Navigation