Publication:
Tools and Algorithms for the Construction and Analysis of Systems

Simple item page
dc.contributor.author Dirk Beyer, Marieke Huisma (editors)
dc.date.accessioned 2023-06-15T01:39:04Z
dc.date.available 2023-06-15T01:39:04Z
dc.date.issued 2018
dc.description DOI: https://doi.org/10.1007/978-3-319-89960-2; License: CC BY; Publisher: Springer
dc.description.abstract This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.
dc.identifier.doi https://doi.org/10.1007/978-3-319-89960-2
dc.identifier.isbn 9783319899602
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5290
dc.subject Authentication
dc.subject computer science
dc.subject computer software selection and evaluation
dc.subject cryptography
dc.subject data privacy
dc.subject formal logic
dc.subject formal methods
dc.subject formal specification
dc.subject internet
dc.subject privacy
dc.subject program compilers
dc.subject programming languages
dc.subject security systems
dc.subject semantics
dc.subject separation logic
dc.subject software engineering
dc.subject specifications
dc.subject verification
dc.subject world wide web
dc.title Tools and Algorithms for the Construction and Analysis of Systems
dc.type Resource Types::text::book
dspace.entity.type Publication
oairecerif.author.affiliation #PLACEHOLDER_PARENT_METADATA_VALUE#
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
OAB249.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2018