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

Verification, Model Checking, and Abstract Interpretation

  • E-Book (pdf)
  • 325 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Tutorial.- Security, Protocols, and Trust.- Security.- Security Types Preserving Compilation.- History-Dependent Scheduling... Weiterlesen
CHF 106.90
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

Tutorial.- Security, Protocols, and Trust.- Security.- Security Types Preserving Compilation.- History-Dependent Scheduling for Cryptographic Processes.- Formal Methods I.- Construction of a Semantic Model for a Typed Assembly Language.- Rule-Based Runtime Verification.- On the Expressive Power of Canonical Abstraction.- Boolean Algebra of Shape Analysis Constraints.- Approximate Probabilistic Model Checking.- Completeness and Complexity of Bounded Model Checking.- Model Checking for Object Specifications in Hidden Algebra.- Formal Methods II.- Model Checking Polygonal Differential Inclusions Using Invariance Kernels.- Checking Interval Based Properties for Reactive Systems.- Widening Operators for Powerset Domains.- Type Inference for Parameterized Race-Free Java.- Certifying Temporal Properties for Compiled C Programs.- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.- Static Analysis versus Software Model Checking for Bug Finding.- Automatic Inference of Class Invariants.- Liveness with Invisible Ranking.- A Complete Method for the Synthesis of Linear Ranking Functions.- Symbolic Implementation of the Best Transformer.- Formal Methods III.- Constructing Quantified Invariants via Predicate Abstraction.- Analysis of Recursive Game Graphs Using Data Flow Equations.- Applying Jlint to Space Exploration Software.- Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.- A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal.

Produktinformationen

Titel: Verification, Model Checking, and Abstract Interpretation
Untertitel: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Editor:
EAN: 9783540246220
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 19.12.2003
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 325

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"