Tools and algorithms for the construction and analysis of systems [electronic resource] : 21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Christel Baier, Cesare Tinelli (eds.).
2015
QA76.9.S88 T33 2015eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Tools and algorithms for the construction and analysis of systems [electronic resource] : 21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Christel Baier, Cesare Tinelli (eds.).
Meeting Name
TACAS (Conference) (21st : 2015 : London, England)
ISBN
9783662466810 electronic book
3662466813 electronic book
9783662466803
3662466813 electronic book
9783662466803
Published
Heidelberg : Springer, 2015.
Language
English
Description
1 online resource (xviii, 725 pages) : illustrations.
Item Number
10.1007/978-3-662-46681-0 doi
Call Number
QA76.9.S88 T33 2015eb
Dewey Decimal Classification
004.2/1
Summary
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 9, 2015).
Added Meeting Name
ETAPS (Conference) (18th : 2015 : London, England)
Series
Lecture notes in computer science ; 9035.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 9783662466803
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources