Show simple item record

dc.contributor.editorVojnar, Tomáš
dc.contributor.editorZhang, Lijun
dc.date.accessioned2021-02-10T14:06:52Z
dc.date.available2021-02-10T14:06:52Z
dc.date.issued2019
dc.identifier1006826
dc.identifierhttp://library.oapen.org/handle/20.500.12657/23329
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/33313
dc.description.abstractThis book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.rightsopen access
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UB Information technology: general issues
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
dc.subject.otherComputer science
dc.subject.otherComputer logic
dc.subject.otherMathematical logic
dc.subject.otherSoftware engineering
dc.subject.otherArtificial intelligence
dc.subject.otherComputer system failures
dc.subject.otherComputers
dc.titleTools and Algorithms for the Construction and Analysis of Systems
dc.title.alternative25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
dc.typebook
oapen.identifier.doi10.1007/978-3-030-17462-0
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.pages433
dc.dateSubmitted2020-03-18 13:36:15
dc.dateSubmitted2020-04-01T09:11:52Z


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access