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 14. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss (TACAS) 2008 ==Topics== *Specification and verification techniques for finite and infinite-state systems *Software and hardware verification *Theorem-proving and model-checking *System construction and transformation techniques *Static and run-time analysis *Abstraction techniques for modeling and validation *Compositional and refinement-based methodologies *Testing and test-case generation *Analytical techniques for secure, real-time, hybrid, critical, biological or dependable systems *Integration of formal methods and static analysis in high-level hardware design or software environments *Tool environments and tool architectures *SAT solvers *Applications and case studies
Save page Show preview Cancel