You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
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.
Save page Show preview Cancel