FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Taschenbuch

EAN (ISBN-13): 9783540682356
ISBN (ISBN-10): 354068235X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin
436 Seiten
Gewicht: 0,672 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-06-11T13:35:52+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-07-20T20:13:16+02:00 (Zurich)
ISBN/EAN: 354068235X

ISBN - alternative Schreibweisen:
3-540-68235-X, 978-3-540-68235-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: cue, séré, maibaum thomas
Titel des Buches: turku, formal methods software engineering, international symposium programming, come finland, maibaum, lecture notes computer science

---

Daten vom Verlag:

Autor/in: Jorge Cuellar; Tom Maibaum
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; FM 2008: Formal Methods - 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Verlag: Springer; Springer Berlin
436 Seiten
Erscheinungsjahr: 2008-05-08
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 436 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Constraint; Programming language A; design; formal method; programming; programming language; real-time; verification; Software Engineering; Computer Engineering and Networks; Programming Techniques; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computerhardware; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Compiler und Übersetzer; EA

Session 1. Invited Talks.- Aspects and Formal Methods.- Getting Formal Verification into Design Flow.- Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems.- Simulation, Orchestration and Logical Clocks.- Session 2. Programming Language Analysis.- CoVaC: Compiler Validation by Program Analysis of the Cross-Product.- Lazy Behavioral Subtyping.- Checking Well-Formedness of Pure-Method Specifications.- Session 3. Verification.- Verifying Dynamic Pointer-Manipulating Threads.- Proofs and Refutations for Probabilistic Refinement.- Assume-Guarantee Verification for Interface Automata.- Session 4. Real-Time and Concurrency.- Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.- A Model Checking Language for Concurrent Value-Passing Systems.- Session 5. Grand Chellenge Problems.- Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.- Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.- Session 6. FM Practice.- Industrial Use of Formal Methods for a High-Level Security Evaluation.- Secret Ninja Formal Methods.- Specification and Checking of Software Contracts for Conditional Information Flow.- Session 7. Runtime Moitoring and Analysis.- JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.- Provably Correct Runtime Monitoring.- Session 8. Communication.- A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.- A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.- Session 9. Constraint Analysis.- Constraint Prioritization for Efficient Analysis of Declarative Models.- Finding Minimal Unsatisfiable Cores of Declarative Specifications.- Precise Interval Analysis vs. Parity Games.- Session 10. Design.- Introducing Objects through Refinement.- Masking Faults While Providing Bounded-Time Phased Recovery.- Towards Consistent Specifications of Product Families.- Session 11. Industry Day.- Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution.- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.- Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.- Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone.- Safe and Reliable Metro Platform Screen Doors Control/Command Systems.