Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Tools and Algorithms for the Construction and ...
Armin Biere, David Parker
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by ImportBot
December 26, 2021 | History

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Publish Date
Publisher
Springer
Language
English

Buy this book

Edition Availability
Cover of: Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Oct 09, 2020, Saint Philip Street Press
paperback
Cover of: Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Oct 09, 2020, Saint Philip Street Press
hardcover
Cover of: Tools and Algorithms for the Construction and Analysis of Systems
Cover of: Tools and Algorithms for the Construction and Analysis of Systems
Cover of: Tools and Algorithms for the Construction and Analysis of Systems
Cover of: Tools and Algorithms for the Construction and Analysis of Systems

Add another edition?

Book Details


Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
xxiii, 501
Weight
0.801

ID Numbers

Open Library
OL35834111M
ISBN 13
9783030451899

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 26, 2021 Created by ImportBot Imported from Better World Books record.