Skip to main content
SpringerLink
Log in

Improving the effectiveness of system verification

Guest editors’ introduction to special section

  • Foreword
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

This special section presents three extended and revised papers which originally appeared in the proceedings of the 12th edition of the conference “Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2006” held in Braga, Portugal late March 2006 as a constituent event of the “European joint conferences on Theory and Practice of Software”. All three papers deal with very promising extensions and integrations of formal verification techniques.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ciardo G., Marmorstein R. and Siminiceanu R. (2006). The saturation algorithm for symbolic state-space exploration. Int. J. Softw. Tools Technol. Transf. 8(1): 4–25

    Article  Google Scholar 

  2. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F. Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV version 2: An opensource tool for symbolic model checking. In: Proceedings of International Conference on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 2404, pp. 359–364. Springer, Heidelberg (2002)

  3. Kroening, D., Clarke, E.M., Lerda, F.: A tool for checking ANSI-C programs. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 168–176 (2004)

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Saarland University, Saarbrücken, Germany

    Holger Hermanns

  2. Computer Science Department, University of California at Los Angeles, Los Angeles, USA

    Jens Palsberg

Authors
  1. Holger Hermanns
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jens Palsberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Holger Hermanns.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hermanns, H., Palsberg, J. Improving the effectiveness of system verification. Int J Softw Tools Technol Transf 10, 111–112 (2008). https://doi.org/10.1007/s10009-007-0060-z

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-007-0060-z

Keywords

Search

Navigation