TY - BOOK ID - 64920306 TI - 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 II AU - Biere, Armin AU - Biere, Armin. AU - Parker, David. PY - 2020 SN - 3030452379 3030452360 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Software engineering. KW - Special purpose computers. KW - Architecture, Computer. KW - Microprogramming . KW - Computer science—Mathematics. KW - Software Engineering/Programming and Operating Systems. KW - Special Purpose and Application-Based Systems. KW - Computer System Implementation. KW - Control Structures and Microprogramming. KW - Mathematics of Computing. KW - Computer programming KW - Computer software engineering KW - Engineering KW - Architecture, Computer KW - Special purpose computers KW - Computers KW - Software Engineering/Programming and Operating Systems KW - Special Purpose and Application-Based Systems KW - Computer System Implementation KW - Control Structures and Microprogramming KW - Mathematics of Computing KW - open access KW - specification and verification techniques KW - software and hardware verification KW - SAT and SMT solving KW - theorem proving KW - model checking KW - static and dynamic program analysis KW - testing KW - system construction and transformation techniques KW - tool environments and tool architectures KW - abstraction techniques for modeling and verification KW - compositional and refinement-based methodologies KW - mathematics KW - software engineering KW - software design KW - architecting KW - software architecture KW - embedded systems KW - automata theory KW - linguistics KW - Software Engineering KW - Operating systems KW - Expert systems / knowledge-based systems KW - Systems analysis & design KW - Algorithms & data structures KW - Mathematical theory of computation KW - Maths for computer scientists KW - Computers, Special purpose. KW - Computer systems. KW - Microprogramming. KW - Software Engineering. KW - ADP systems (Computer systems) KW - Computing systems KW - Systems, Computer KW - Electronic systems KW - Cyberinfrastructure UR - https://www.unicat.be/uniCat?func=search&query=sysid:64920306 AB - 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. . ER -