Sangam: A Confluence of Knowledge Streams

Tools and Algorithms for the Construction and Analysis of Systems

Show simple item record

dc.contributor Vojnar, Tomáš
dc.contributor Zhang, Lijun
dc.date 2021-02-10T14:06:52Z
dc.date 2021-02-10T14:06:52Z
dc.date 2019
dc.date.accessioned 2023-02-17T21:26:41Z
dc.date.available 2023-02-17T21:26:41Z
dc.identifier 1006826
dc.identifier http://library.oapen.org/handle/20.500.12657/23329
dc.identifier https://directory.doabooks.org/handle/20.500.12854/33313
dc.identifier https://library.oapen.org/bitstream/20.500.12657/23329/1/1006826.pdf
dc.identifier.uri http://localhost:8080/xmlui/handle/CUHPOERS/247187
dc.description This 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.format image/jpeg
dc.language eng
dc.publisher Springer Nature
dc.relation Lecture Notes in Computer Science
dc.rights open access
dc.subject Computer science
dc.subject Computer logic
dc.subject Mathematical logic
dc.subject Software engineering
dc.subject Artificial intelligence
dc.subject Computer system failures
dc.subject Computers
dc.subject bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues
dc.subject bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
dc.subject bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering
dc.subject bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation
dc.subject bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design
dc.subject bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
dc.title Tools and Algorithms for the Construction and Analysis of Systems
dc.resourceType book
dc.alternateIdentifier 10.1007/978-3-030-17462-0
dc.licenseCondition open access
dc.licenseCondition n/a
dc.identifierdoi 10.1007/978-3-030-17462-0
dc.relationisPublishedBy 9fa3421d-f917-4153-b9ab-fc337c396b5a
dc.pages 433


Files in this item

Files Size Format View
1006826.pdf.jpg 13.35Kb image/jpeg View/Open

This item appears in the following Collection(s)

  • Directory of Open Access Books (DOAB) [5044]
    DOAB is a discovery service for peer reviewed open access books and book publishers that indexes and provides access to high quality, open access, peer-reviewed books.

Show simple item record

Search DSpace


Advanced Search

Browse