Sangam: A Confluence of Knowledge Streams

Tools and Algorithms for the Construction and Analysis of Systems

Show simple item record

dc.contributor Biere, Armin
dc.contributor Parker, David
dc.date 2021-02-10T14:12:19Z
dc.date 2021-02-10T14:12:19Z
dc.date 2020
dc.date.accessioned 2023-02-18T19:27:24Z
dc.date.available 2023-02-18T19:27:24Z
dc.identifier ONIX_20200513_9783030452377_24
dc.identifier http://library.oapen.org/handle/20.500.12657/37724
dc.identifier 45319
dc.identifier https://directory.doabooks.org/handle/20.500.12854/33908
dc.identifier https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf
dc.identifier.uri http://localhost:8080/xmlui/handle/CUHPOERS/249388
dc.description 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.
dc.format image/jpeg
dc.language eng
dc.publisher Springer Nature
dc.publisher Springer
dc.relation Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
dc.rights open access
dc.subject Software Engineering/Programming and Operating Systems
dc.subject Special Purpose and Application-Based Systems
dc.subject Computer System Implementation
dc.subject Control Structures and Microprogramming
dc.subject Mathematics of Computing
dc.subject open access
dc.subject specification and verification techniques
dc.subject software and hardware verification
dc.subject SAT and SMT solving
dc.subject theorem proving
dc.subject model checking
dc.subject static and dynamic program analysis
dc.subject testing
dc.subject system construction and transformation techniques
dc.subject tool environments and tool architectures
dc.subject abstraction techniques for modeling and verification
dc.subject compositional and refinement-based methodologies
dc.subject mathematics
dc.subject software engineering
dc.subject software design
dc.subject architecting
dc.subject software architecture
dc.subject embedded systems
dc.subject automata theory
dc.subject linguistics
dc.subject Software Engineering
dc.subject Operating systems
dc.subject Expert systems / knowledge-based systems
dc.subject Systems analysis & design
dc.subject Algorithms & data structures
dc.subject Mathematical theory of computation
dc.subject Maths for computer scientists
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::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
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::UM Computer programming / software development::UMB Algorithms & data structures
dc.subject bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation
dc.title Tools and Algorithms for the Construction and Analysis of Systems
dc.resourceType book
dc.alternateIdentifier 10.1007/978-3-030-45237-7
dc.licenseCondition open access
dc.licenseCondition n/a
dc.identifierdoi 10.1007/978-3-030-45237-7
dc.relationisPublishedBy 9fa3421d-f917-4153-b9ab-fc337c396b5a
dc.pages 425
dc.placepublication Cham
dc.imprint Springer


Files in this item

Files Size Format View
2020_Book_ToolsAndAlgorithmsForTheConstr.pdf.jpg 6.547Kb 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