Difference between revisions of "TACAS 2017"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=TACAS 2017 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=23 |Series=TACAS |Type=Conference |Su...") |
|||
| Line 14: | Line 14: | ||
|presence=presence | |presence=presence | ||
}} | }} | ||
| − | + | The 23. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2017 | |
| + | |||
==Topics== | ==Topics== | ||
| + | *specification and verification techniques; | ||
| + | *software and hardware verification; | ||
| + | *analytical techniques for real-time, hybrid, or stochastic systems; | ||
| + | *analytical techniques for safety, security, or dependability; | ||
| + | *model-checking; | ||
| + | *theorem-proving; | ||
| + | *SAT and SMT solving; | ||
| + | *static and dynamic program analysis; | ||
| + | *testing; | ||
| + | *abstraction techniques for modeling and verification; | ||
| + | *compositional and refinement-based methodologies; | ||
| + | *system construction and transformation techniques; | ||
| + | *tool environments and tool architectures; | ||
| + | *applications and case studies. | ||
| + | |||
| + | |||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 10:11, 4 October 2021
| TACAS 2017 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 23 |
| Event in series | TACAS |
| Subevent of | ETAPS |
| Dates | 2017/04/22 (iCal) - 2017/04/29 |
| Presence | presence |
| Homepage: | https://etaps.org/2017/tacas |
| Location | |
| Location: | Uppsala, Sweden |
| Table of Contents | |
The 23. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2017
Topics
- specification and verification techniques;
- software and hardware verification;
- analytical techniques for real-time, hybrid, or stochastic systems;
- analytical techniques for safety, security, or dependability;
- model-checking;
- theorem-proving;
- SAT and SMT solving;
- static and dynamic program analysis;
- testing;
- abstraction techniques for modeling and verification;
- compositional and refinement-based methodologies;
- system construction and transformation techniques;
- tool environments and tool architectures;
- applications and case studies.