Suchergebnisse - "ESC/Java"

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Improved usability and performance of SMT solvers for debugging specifications von Cok, David R.

    ISSN: 1433-2779, 1433-2787
    Veröffentlicht: Berlin/Heidelberg Springer-Verlag 01.11.2010
    “… It is now common to construct an extended static checker or software verification system using an SMT theorem prover as the underlying logical verifier. SMT …”
    Volltext
    Journal Article Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Formal methods for smart cards: an experience report von Breunesse, C.-B., Cataño, N., Huisman, M., Jacobs, B.

    ISSN: 0167-6423, 1872-7964
    Veröffentlicht: Elsevier B.V 01.03.2005
    Veröffentlicht in Science of computer programming (01.03.2005)
    “… This paper presents a case study in the formal specification and verification of a smart card application. The application is an electronic purse …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: