Difference between revisions of "TACAS 2011"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| (3 intermediate revisions by one other user not shown) | |||
| Line 5: | Line 5: | ||
|Series=TACAS | |Series=TACAS | ||
|Type=Conference | |Type=Conference | ||
| − | |Superevent=ETAPS | + | |Superevent=ETAPS 2011 |
|Start date=2011/03/26 | |Start date=2011/03/26 | ||
|End date=2011/04/03 | |End date=2011/04/03 | ||
|Submission deadline=2010/10/08 | |Submission deadline=2010/10/08 | ||
|Homepage=https://etaps.org/2011/tacas | |Homepage=https://etaps.org/2011/tacas | ||
| + | |TibKatId=655747583 | ||
| + | |gndId=16105838-3 | ||
|DblpConferenceId=tacas/tacas2011 | |DblpConferenceId=tacas/tacas2011 | ||
| + | |wikicfpId=11171 | ||
| + | |wikidataid=Q106337700 | ||
|City=Saarbrücken | |City=Saarbrücken | ||
|Country=Germany | |Country=Germany | ||
| Line 22: | Line 26: | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-642-19835-9 | |has Proceedings DOI=https://doi.org/10.1007/978-3-642-19835-9 | ||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-19835-9 | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-19835-9 | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2011 | The 17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2011 | ||
Latest revision as of 20:25, 1 April 2022
| TACAS 2011 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 17 |
| Event in series | TACAS |
| Subevent of | ETAPS 2011 |
| Dates | 2011/03/26 (iCal) - 2011/04/03 |
| Presence | presence |
| Homepage: | https://etaps.org/2011/tacas |
| Location | |
| Location: | Saarbrücken, Germany |
| Important dates | |
| Abstracts: | 2010/10/01 |
| Submissions: | 2010/10/08 |
| Notification: | 2010/12/10 |
| Papers: | Submitted 112 / Accepted 32 (28.6 %) |
| Committees | |
| PC chairs: | Parosh Aziz Abdulla, K. Rustan M. Leino |
| Table of Contents | |
The 17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2011
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