Difference between revisions of "TACAS 2009"
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
|Start date=2009/03/22 | |Start date=2009/03/22 | ||
|End date=2009/03/29 | |End date=2009/03/29 | ||
| − | |Homepage= | + | |Homepage=http://web.embedded.rwth-aachen.de/tacas09/ |
|DblpConferenceId=tacas/tacas2009 | |DblpConferenceId=tacas/tacas2009 | ||
|City=York | |City=York | ||
Revision as of 12:23, 27 September 2021
| TACAS 2009 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 15 |
| Event in series | TACAS |
| Subevent of | ETAPS |
| Dates | 2009/03/22 (iCal) - 2009/03/29 |
| Presence | presence |
| Homepage: | http://web.embedded.rwth-aachen.de/tacas09/ |
| Location | |
| Location: | York, UK |
| Important dates | |
| Papers: | 2008/10/02 |
| Notification: | 2008/12/12 |
| Table of Contents | |
The 15. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss (TACAS) 2009
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.