Description |
xi, 481 pages : illustrations ; 24 cm |
Series |
Lecture notes in computer science, 0302-9743 ; 3385 |
|
Lecture notes in computer science ; 3385
|
Contents |
Machine derived contents note: Proving Program Invariance and Termination by Parametric Abstraction, -- Lagrangian Relaxation and Semnidefinite Programming 1 -- Patrick Cousot -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using Mathematical Progr ng 25 -- Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Mann -- The Arithmetic-Geometric Progression Abstract Domain 42 -- Jdrdme Feret -- An Overview of Semantics for the Validation of Numerical Programs 59 -- Matthieu Martel -- Invited Talk -- The Verifying Compiler, a Grand Challenge for Computing Resea 78 -- C.A.R. Hoare -- Verification I -- Checking Herbrand Equalities and Beyond -- Markus Miller- Olm, Oliver Riithing, and Helmut Seidl -- Static Analysis by Abstract Interpretation -- of the Quasi-synchronous Composition of Synchronous Programs9 -- Julien Bertrane -- Termination of Polynomial Programs 113 -- Aaron R. Bradley, Zohar Manna, and Henny B. Sipma -- Verifying Safety of a Token Coherence Implementation -- by Parametric Compositional Refinement -- Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin -- Invited Talk -- Abstraction for Liveness .. -- Amir Pnueli -- Heap and Shape Analysis -- Abstract Interpretation with Alien Expressions and Heap Structures 147 -- Bor- Yuh Evan Chang and K. Rustan M. Leino -- Shape Analysis by Predicate Abstraction 164 -- Ittai Balaban, Anir Pnueli, and Lenore D. Zuck -- Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.. 181 -- Roman Manevich, E. Yahav, G. Ramalingam, and Mooly Sagiv -- Purity and Side Effect Analysis for Java Programs 199 -- Alexandru Salcianu and Martin Rinard -- Abstract Model Checking -- Automata as Abstractions 216 -- Dennis Dams and Kedar S. Namjoshi -- Don't Know in the p-Calculus 233 -- Orna Grumberg, Martin Lange, Martin Leucker, and Sharon Shoham -- Model Checking of Systems Employing Commutative Functions 250 -- A. Prasad Sistla, Min Zhou, and Xiaodong Wang -- Model Checking -- Weak Automata for the Linear Time p-Calculus 267 -- Martin Lange -- Model Checking for Process Rewrite Systems -- and a Class of Action-Based Regular Properties 282 -- Laura Bozzelli -- Minimizing Counterexample with Unit Core Extraction -- and Incremental SAT 298 -- ShengYu Shen, Ying Qin, and SiKun Li -- I/O Efficient Directed Model Checking 313 -- Shahid Jabbar and Stefan Edelkamp -- Applied Abstract Interpretation -- Verification of an Error Correcting Code by Abstract Interpretation 330 -- Charles Hymans -- Information Flow Analysis for Java Bytecode 346 -- Samir Genaim and Fausto Spoto -- Cryptographic Protocol Analysis on Real C Code 363 -- Jean Goubault-Larrecq and Fabrice Parrennes -- Simple Is Better: Efficient Bounded Model Checking for Past LTL 380 -- Time Latvala, Armin Biere, Keijo Heljanko, and Tommi Junitila -- Optimizing Bounded Model Checking for Linear Hybrid Systems 396 -- Erika Abahdm, Bernd Becker, Felix Klaedtke, and Martin Steffen -- Verification II -- Efficient Verification of Halting Properties for MPI Programs -- with Wildcard Receives 413 -- Stephen F. Siegel -- Generalized Typestate Checking for Data Structure Consistency 430 -- Patrick Lam, Viktor Kuncak, and Martin Rinard -- On the Complexity of Error Explanation 448 -- Nirman Kumar, Viraj Kumar, and Mahesh Viswanathan -- Efficiently Verifiable Conditions for Deadlock-Freedom -- of Large Concurrent Programs 465 -- Paul C. Attie and Hana Chockler |
Analysis |
FACinfotech Computer science |
|
ER Internet Book Full text |
Notes |
Title from title screen (viewed Feb. 8, 2005) |
|
Electronic book available via Springer Link |
|
Print version originally published in 2005 |
Bibliography |
Includes bibliographical references and index |
Notes |
Also issued online |
|
Mode of access: World Wide Web |
|
System requirements: Adobe Acrobat required to view PDF document |
Subject |
Computer programs -- Verification -- Congresses.
|
Genre/Form |
Ebook
|
|
Ebook
|
|
Conference papers and proceedings.
|
|
Kongress
|
|
Conference papers and proceedings.
|
Author |
Cousot, Radhia.
|
|
LINK (Online service)
|
LC no. |
2004117275 |
ISBN |
354024297X paperback |
|