Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://afrodite.itc.it:1024/~cimatti/smc99/
Organizers: Alessandro Cimatti(IRST, Trento, Italy), Orna Grumberg (Technion, Haifa, Israel)
Deadline for abstracts: March 26, 1999
Description:
Symbolic model checking is a formal technique for the verification of finite-state concurrent systems. Symbolic model checkers (e.g.
SMV, VIS) have been used to verify industrial systems, ranging from hardware to communication protocols to safety critical plants and
procedures. Symbolic model checking is applied in technology transfer projects, and is the core technique for several industrial
verification tools.
The aim of the workshop is to bring together active developers and users of symbolic model checkers, compare state of the art model
checking techniques (e.g. compositional reasoning, abstraction, partitioning), discuss experimental results and experience reports, and
promising directions for future research.
Speakers: Ken McMillan (Cadence Labs, USA), Fabio Somenzi (University of Colorado, USA)
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.