Atlas home || Conferences | Abstracts | about Atlas
Host: Technical University of Berlin
Homepage: http://www-verimag.imag.fr/TACAS2000/
Organizers: Susanne Graf, Michael Schwartzbach
Deadline for abstracts: October 18, 1999
Description:
TACAS is a forum for researchers, developers and users interested in rigorously based tools for the construction and analysis
of systems. The conference serves to bridge the gaps between different communities --- including but not limited to those
devoted to formal methods, real-time, software engineering, communications protocols, hardware, theorem proving, and
programming languages --- that have traditionally had little interaction but share common interests in and techniques for tool
development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures
and methodologies, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency
of tools for building systems.
Tool descriptions and case studies with a conceptual message and theoretical papers with a clear link to tool construction are particularily encouraged. The specific topics covered by the conference include, but are not limited to, the following:
verification and construction techniques; compositional and refinement-based methodologies; test case generation; theorem-proving and model checking; analytical techniques for real-time, hybrid and safety-critical systems; tool environments and tool architectures; applications and case studies.
Speakers: Pierre Wolper (University of Liege, Belgium)
Date received: September 10, 1999
© 2008 Atlas Conferences Inc.