Difference between revisions of "TACAS 2013"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=TACAS 2013 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=19 |Series=TACAS |Type=Conference |Su...") |
|||
| Line 19: | Line 19: | ||
==Topics== | ==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 safety, security, or dependability; | ||
| + | *Analytical techniques for real-time, hybrid, or stochastic systems; | ||
| + | *Integration of formal methods and static analysis in high-level hardware design or software environments; | ||
| + | *Tool environments and tool architectures; | ||
| + | *SAT and SMT solvers; | ||
| + | *Applications and case studies. | ||
| + | *Important dates and submission | ||
| + | |||
| + | |||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 06:43, 1 October 2021
| TACAS 2013 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 19 |
| Event in series | TACAS |
| Subevent of | ETAPS |
| Dates | 2013/03/16 (iCal) - 2013/03/24 |
| Presence | presence |
| Homepage: | https://etaps.org/2013/tacas |
| Location | |
| Location: | Rome, Italy |
| Important dates | |
| Submissions: | 2012/10/14 |
| Table of Contents | |
The 19. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2013
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 safety, security, or dependability;
- Analytical techniques for real-time, hybrid, or stochastic systems;
- Integration of formal methods and static analysis in high-level hardware design or software environments;
- Tool environments and tool architectures;
- SAT and SMT solvers;
- Applications and case studies.
- Important dates and submission