Editors:
fast-track conference proceedings
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6605)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference proceedings info: TACAS 2011.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (34 papers)
-
Front Matter
-
Reliable Software Development: Analysis-Aware Design
-
Model Checking
About this book
Keywords
- Petri net
- SAT solvers
- SMT solvers
- abstraction techniques
- concurrent programs
- dependability
- finite-state systems
- model-checking
- real-time systems
- safety
- software modeling
- static analysis
- temporal logic
- theorem-proving
Editors and Affiliations
-
Dept. of Information Technology, University of Uppsala, Uppsala, Sweden
Parosh Aziz Abdulla
-
Microsoft Research, Redmond, USA
K. Rustan M. Leino
Bibliographic Information
Book Title: Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Editors: Parosh Aziz Abdulla, K. Rustan M. Leino
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-19835-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-19834-2Published: 18 March 2011
eBook ISBN: 978-3-642-19835-9Published: 14 March 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 394
Number of Illustrations: 104 b/w illustrations, 30 illustrations in colour
Topics: Software Engineering, Computer Science Logic and Foundations of Programming, Computer Communication Networks, Compilers and Interpreters, Artificial Intelligence, Programming Techniques