Advertisement

Introductory paper

  • Thomas ArtsEmail author
  • Jaco van de Pol
Special section on formal methods for industrial critical systems
  • 21 Downloads

Keywords

Model Check Formal Method Operational Semantic Hardware Description Language Introductory Paper 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Arts T, Fokkink W (2003) Proceedings of the 8th international workshop on formal methods for industrial critical systems. Trondheim, Norway, 5–7 June 2003Google Scholar
  2. 2.
    Blom S, Orzan S (2005) Distributed state space minimization. Int J Softw Tools Technol Transfer (current issue)Google Scholar
  3. 3.
    Brucker AD, Wolff B (2005) A verification approach for applied system security. Int J Softw Tools Technol Transfer (current issue)Google Scholar
  4. 4.
    Bubel R, Hähnle R (2005) Integration of informal and formal development of object-oriented safety-critical software – a case study with the KeY system. Int J Softw Tools Technol Transfer (current issue)Google Scholar
  5. 5.
    Butterfield A, Woodcock J (2005) prialt in Handel-C: an operational semantics. Int J Softw Tools Technol Transfer (current issue)Google Scholar
  6. 6.
    Burdy L et al. (2005) An overview of JML tools and applications. Int J Softw Tools Technol Transfer (current issue)Google Scholar
  7. 7.
    Hammarberg J, Nadjm-Tehrani S (2005) Formal verification of fault tolerance in safety-critical modules. Int J Softw Tools Technol Transfer (current issue)Google Scholar

Copyright information

© Springer-Verlag 2005

Authors and Affiliations

  1. 1.Dept. of Software Engineering and ManagementIT University of GöteborgGothenburgSweden
  2. 2.Dept. of Software EngineeringCentrum voor Wiskunde en InformaticaAmsterdamThe Netherlands

Personalised recommendations