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 IIArmin Biere, David Parker 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. |
Other editions - View all
Tools and Algorithms for the Construction and Analysis of Systems Armin Biere,David Parker No preview available - 2020 |
Tools and Algorithms for the Construction and Analysis of Systems: 26th ... Armin Biere,David Parker No preview available - 2020 |
Tools and Algorithms for the Construction and Analysis of Systems Armin Biere,David Parker No preview available - 2020 |
Common terms and phrases
abstract algorithm Artifact Author(s automatically automaton axioms benchmarks binary bisimulation branching bisimilarity bugs bytecode change impact analysis chapter's Creative Commons coherent Computer Science coroutine CPU ENERGY Creative Commons license Debian defined denoted divbranching encoding endianness Endicheck equivalence example finite fixpoint formal formal verification formula function GACAL graph implementation infinite input integer International Conference invariants Isabelle/HOL Java labelled Lemma LLVM LNCS logic loop maintainer scripts mean-payoff measure memory regions memory usage method model checking modulo MuArith neural networks node OCaml operator parity game path player polynomial positions Posix predicate problem Proc program verification proof properties protocols quantized quantum qubits reachable reduction relation requires Section semantics sharp bisimilarity smart contracts Software solver Springer static strategy SV-COMP symbolic execution TACAS techniques Theorem tool transition tree automaton Valgrind values variables verification tasks