(mobo import Concept___Fix_Presence-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 5: | Line 5: | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2011 | |Superevent=ETAPS 2011 | ||
− | |||
|Homepage=https://etaps.org/2011/tacas | |Homepage=https://etaps.org/2011/tacas | ||
|TibKatId=655747583 | |TibKatId=655747583 | ||
Line 14: | Line 13: | ||
|City=Saarbrücken | |City=Saarbrücken | ||
|Country=Country:DE | |Country=Country:DE | ||
− | |||
− | |||
|has program chair=Parosh Aziz Abdulla, K. Rustan M. Leino | |has program chair=Parosh Aziz Abdulla, K. Rustan M. Leino | ||
|Submitted papers=112 | |Submitted papers=112 | ||
Line 32: | Line 29: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Abstract Deadline=2010/10/01 | ||
+ | |Notification Deadline=2010/12/10 | ||
+ | |Submission Deadline=2010/10/08 | ||
+ | }} | ||
+ | {{S Event}} | ||
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 | ||
Revision as of 21:07, 22 September 2022
Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Notification |
Venue
Saarland University, Saarbrücken, Saarland, Germany
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