(mobo import Concept___Events-migrated) |
(mobo import Concept___Events_With_Metrics-migrated) |
||
Line 14: | Line 14: | ||
|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 | ||
− | |||
− | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-19835-9.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-19835-9.pdf | ||
|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 | ||
Line 33: | Line 31: | ||
|Notification Deadline=2010/12/10 | |Notification Deadline=2010/12/10 | ||
|Submission Deadline=2010/10/08 | |Submission Deadline=2010/10/08 | ||
+ | }} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=112 | ||
+ | |Number Of Accepted Papers=32 | ||
}} | }} | ||
{{S Event}} | {{S Event}} |
Revision as of 14:18, 18 October 2022
Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Notification |
Metrics
Submitted Papers
112
Accepted Papers
32
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