Willkommen, schön sind Sie da!
Logo Ex Libris

Model Checking Software

  • E-Book (pdf)
  • 263 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Satisfiability Modulo Theories for Model Checking.- SMT-Based Software Model Checking.- Symbolic Object Code Analysis.- Mod... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 80.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

Satisfiability Modulo Theories for Model Checking.- SMT-Based Software Model Checking.- Symbolic Object Code Analysis.- Model Checking in Context.- Experimental Comparison of Concolic and Random Testing for Java Card Applets.- Combining SPIN with ns-2 for Protocol Optimization.- Automatic Generation of Model Checking Scripts Based on Environment Modeling.- Implementation and Performance of Model Checking.- Model Checking: Cleared for Take Off.- Context-Enhanced Directed Model Checking.- Efficient Explicit-State Model Checking on General Purpose Graphics Processors.- The SpinJa Model Checker.- LTL and Büchi Automata.- On the Virtue of Patience: Minimizing Büchi Automata.- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.- Nevertrace Claims for Model Checking.- Infinite State Models.- A False History of True Concurrency: From Petri to Tools.- Analysing Mu-Calculus Properties of Pushdown Systems.- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.- Concurrent Software.- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.- One Stack to Run Them All.

Produktinformationen

Titel: Model Checking Software
Untertitel: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Editor:
EAN: 9783642161643
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 21.09.2010
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 4.69 MB
Anzahl Seiten: 263

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"

Zuletzt angesehen
Verlauf löschen