Suchergebnisse - Software/Program Verification—Assertion checkers

Andere Suchmöglichkeiten:

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

    An eclipse plug-in for model checking von Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.

    ISBN: 9780769521497, 0769521495
    ISSN: 1092-8138
    Veröffentlicht: Los Alamitos CA IEEE 2004
    “… We provide a verification interface for practical solutions for some typical program analysis problems - assertion checking, reachability analysis, dead code analysis, and test generation - directly on the source code …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: