TACAS 2000

From ConfIDent
Deadlines
1999-12-13
2000-01-13
1999-10-18
18
Oct
1999
Submission
13
Dec
1999
Notification
13
Jan
2000
Camera-Ready
organization
Metrics
Submitted Papers
107
Accepted Papers
33
Venue

Technical University of Berlin, DE/BE/Berlin, DE/BE, Germany

Loading map...

The 6. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2000


Topics

  • 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.
Cookies help us deliver our services. By using our services, you agree to our use of cookies.