Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://gaspard.imag.fr/CAV99/
Email: CAV99@imag.fr
Organizers: Nicolas Halbwachs, Doron Peled
Description:
This conference is part of the second Federated Logic Conference (FLOC'99).
CAV'99 is the eleventh in a series dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series.
The topics of interest include:
Modeling and specification formalisms (such as logical, automata-based, and algebraic methods) Algorithms and tools (such as state-space exploration, model checking, synthesis, and automated deduction) Verification techniques (such as state-space and transition-relation reduction methods, symbolic methods, probabilistic methods, compositional and modular reasoning, integration of algorithmic and deductive methods) Applications and case studies (such as synchronous and asynchronous circuits, communication protocols, distributed algorithms, real-time and embedded control systems, security) Testing based on Verification technology. Verification in practice (integration of verification with design, specification, testing, debugging, and code generation)
Speakers: Zohar Manna (Stanford University), Gunnar Stalmarck (Prover Technology), Alain Deutsch (Inria), Ed Brinksma (University of Twente), Edmund Clarke (CMU), David Dill (Stanford University), Joseph Sifakis (Verimag), Rajeev Alur (University of Pensylvania)
Date received: October 13, 1998, revised February 06, 1999
© 2008 Atlas Conferences Inc.