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

Integrated Formal Methods

  • E-Book (pdf)
  • 337 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt On Model Checking Techniques for Randomized Distributed Systems.- Collaborative Modelling and Co-simulation in the Developm... Weiterlesen
CHF 93.50
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

On Model Checking Techniques for Randomized Distributed Systems.- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.- Programming with Miracles.- An Event-B Approach to Data Sharing Agreements.- A Logical Framework to Deal with Variability.- Adding Change Impact Analysis to the Formal Verification of C Programs.- Creating Sequential Programs from Event-B Models.- Symbolic Model-Checking of Optimistic Replication Algorithms.- From Operating-System Correctness to Pervasively Verified Applications.- A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs.- Verification Architectures: Compositional Reasoning for Real-Time Systems.- Automatic Verification of Parametric Specifications with Complex Topologies.- Satisfaction Meets Expectations.- Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.- Specification and Verification of Model Transformations Using UML-RSDS.- Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.- Translating Pi-Calculus into LOTOS NT.- Systematic Translation Rules from astd to Event-B.- A CSP Approach to Control in Event-B.- Towards Probabilistic Modelling in Event-B.- Safe Commits for Transactional Featherweight Java.- Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.- Integrating Implicit Induction Proofs into Certified Proof Environments.

Produktinformationen

Titel: Integrated Formal Methods
Untertitel: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Editor:
EAN: 9783642162657
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 01.10.2010
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 5.89 MB
Anzahl Seiten: 337

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