Skip to main content
SpringerLink
Log in

Introductory paper: scalability aspects of validation

  • Special section on trends in verification and validation
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

This special section is devoted to a selection of papers that appeared originally in the Proceedings of TACAS 2001, the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems [1] which took place in Genova, Italy in April 2001 as a constituent event of the European joint conferences on theory and Practice of Software. All papers present approaches, tools and algorithms that aim at extending the scope of formal techniques (coverage of systems specifications, data structures, size, and their trade-offs) for validation, verification, and testing of software systems. They are by no means a complete account of the numerous ways in which real software and software systems may become subject to rigorous investigation, but they provide an interesting sampling of novel approaches towards scalability of formal methods-based validation.

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. Margaria, T., Yi, W. (eds.) Proceedings of TACAS 2001, the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2–6. Proceedings LNCS, vol. 2031. Springer Verlag, 2001

  2. Williams, P.F., Andersen, H.R., Hulgaard, H.: Satisfiability checking using boolean expression diagrams. Int J Softw Tools Technol Tranfer 5(1): 4, 2003

    Article  Google Scholar 

  3. Yavuz-Kahveci, T., Bultan, T.: A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. Int J Softw Tools Technol Tranfer 5(1): 15, 2003

    Article  Google Scholar 

  4. Pasareanu, C., Dwyer, M., Visser, W.: Finding feasible abstract counter-examples. Int J Softw Tools Technol Tranfer 5(1): 34, 2003

    Article  Google Scholar 

  5. Ball, T., Podelski, A., Rajamani, S.: Boolean and cartesiam abstraction for model checking C programs. Int J Softw Tools Technol Tranfer 5(1): 49, 2003

    Article  Google Scholar 

  6. Nielsen, B., Skou, A.: Automated test generation from timed automata. Int J Softw Tools Technol Tranfer 5(1): 59, 2003

    Article  Google Scholar 

  7. Gunter, E., Muscholl, A., Peled, D.: Compositional message sequence charts. Int J Softw Tools Technol Tranfer 5(1): 78, 2003

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Dortmund, Baroper Str. 301, 44221, Dortmund, Germany

    Tiziana Margaria

  2. Dept. of Information Technology, Uppsala University, Box 325, 75105, Uppsala, Sweden

    Wang Yi

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wang Yi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Tiziana Margaria or Wang Yi.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Margaria, T., Yi, W. Introductory paper: scalability aspects of validation. Int J Softw Tools Technol Transfer 5, 1–3 (2003). https://doi.org/10.1007/s10009-003-0112-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-003-0112-y

Keywords

Search

Navigation