Cantitate/Preț
Produs

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings: Lecture Notes in Computer Science, cartea 4905

Editat de Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
en Limba Engleză Paperback – 26 feb 2008

Din seria Lecture Notes in Computer Science

Preț: 30178 lei

Preț vechi: 37722 lei
-20%

Puncte Express: 453

Preț estimativ în valută:
5782 6263$ 4958£

Carte tipărită la comandă

Livrare economică 06-13 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540781622
ISBN-10: 3540781625
Pagini: 342
Ilustrații: X, 325 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.- CTL as an Intermediate Language.- Multi-valued Logics, Automata, Simulations, and Games.- Verification of Register Allocators.- Program Analysis and Programming Languages for Security.- An Improved Tight Closure Algorithm for Integer Octagonal Constraints.- Handling Parameterized Systems with Non-atomic Global Conditions.- Abstract Interpretation of the Physical Inputs of Embedded Programs.- Diagnostic Information for Realizability.- Approximation Refinement for Interpolation-Based Model Checking.- Abstract Interpretation of Cellular Signalling Networks.- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?.- Model Checking for Action Abstraction.- On Bridging Simulation and Formal Verification.- Extending Model Checking with Dynamic Analysis.- Deriving Bisimulations by Simplifying Partitions.- Precise Set Sharing Analysis for Java-Style Programs.- Sufficient Preconditions for Modular Assertion Checking.- Runtime Checking for Separation Logic.- Decision Procedures for Multisets with Cardinality Constraints.- All You Need Is Compassion.- A Forward-Backward Abstraction Refinement Algorithm.- Internal and External Logics of Abstract Interpretations.- From LTL to Symbolically Represented Deterministic Automata.- Monitoring Temporal Properties of Stochastic Systems.- A Hybrid Algorithm for LTL Games.