|
Showing 1 - 4 of
4 matches in All Departments
|
Verification, Model Checking, and Abstract Interpretation - 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Paperback, 2005 ed.)
Radhia Cousot
|
R1,785
Discovery Miles 17 850
|
Ships in 10 - 15 working days
|
This volume contains the papers accepted for presentation at the
6th Inter- tional Conference on Veri?cation, Model Checking and
Abstract Interpretation (VMCAI 2005), which was held January 17-19,
2005 in Paris, France. VMCAI provides a forum for researchers from
the communities of veri?- tion, model checking, and abstract
interpretation, facilitating interaction, cro- fertilization, and
advancement of hybrid methods that combine the three areas. With
the growing need for formal methods to reason about complex, in?ni-
state, and embedded systems, such hybrid methods are bound to be of
great importance. VMCAI 2005 received 92 submissions. Each paper
was carefully reviewed, being judged according to scienti?c
quality, originality, and relevance to the symposium topics.
Following online discussions, the program committee met in '
Paris,France,attheEcoleNormaleSup'
erieureonOctober30,2004,andselected 27 papers. In addition to the
contributed papers, this volume includes contributions by
outstanding invited speakers: ' - Patrick Cousot (Ecole Normale
Sup' erieure, Paris), Proving Program Inva- ance and Termination by
Parametric Abstraction, Lagrangian Relaxation and Semide?nite
Programming; - C. A.R. Hoare (Microsoft Research, Cambridge), The
Verifying Compiler, a Grand Challenge for Computing Research; -
Amir Pnueli (New York University and Weizmann Institute of
Science), - straction for Liveness. The VMCAI 2005 program included
an invited tutorial by Sriram K. Ra- mani (Microsoft
Research,Redmond) on Model Checking, Abstraction and S- bolic
Execution for Software. VMCAI 2005 was followed by workshops on
Automatic Tools for Veri?- tion, Abstract Interpretation of
Object-Oriented Languages, and Numerical & Symbolic Abstract
Domains.
The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.
This book constitutes the refereed proceedings of the Third
International Static Analysis Symposium, SAS '96, held in Aachen,
Germany, in September 1996 in conjunction with ALP and PLILP.
The volume presents 22 highly-quality revised full papers selected
from a total of 79 submissions; also included are three system
descriptions and invited contributions by Alex Aiken (abstract
only), Flemming Nielson, and Bernhard Steffen. Among the topics
addressed are program analysis, incremental analysis, abstract
interpretation, partial evaluation, logic programming, functional
programming, and constraint programming.
It is well documented that fully automatic rigorous verification of
complex software is very challenging and perfection is impossible.
This monograph presents abstract interpretation and shows how its
principles can be successfully applied to cope with the
difficulties inherent to formal verification. It discusses the
principles of static analysis by abstract interpretation, and
reports on the automatic verification of the absence of runtime
errors in large embedded aerospace software by static analysis
based on abstract interpretation. The first industrial applications
concerned synchronous control/command software in open loop. Recent
advances consider imperfectly synchronous programs, parallel
programs, and target code validation as well. Future research
directions on abstract interpretation are also discussed in the
context of aerospace software.
|
You may like...
Not available
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|