The document "TACAS 2011" was published on "2023-11-21T07:42:33" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:TACAS 2011.
The document "TACAS 2011" describes an event in the sense of a conference.
The document "TACAS 2011" contains information about the event "TACAS 2011" with start date "2011/03/26" and end date "2011/04/03".
The event "TACAS 2011" is part of the event series identified by [[Event Series:TACAS]]
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
