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: 26th ... 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 |
Common terms and phrases
abstract accepted actions algorithm allows analysis applied approach assume bisimilarity bisimulation block bound branching bugs called checking Commons competition complexity Computer condition Conference consider consists construction contains correctness decidable defined Definition denoted elements endianness energy equivalence example execution exists expressed finite formal formula function given graph implementation included International invariants Java labelled language license limit LNCS logic loop measure memory method networks node Note obtain operator original pairs parity path performance position present problem Proc Proceedings proof properties prove quantized quantum reasoning reduction relation requires rule satisfies Science scripts semantics Software specification Springer strong symbolic TACAS techniques Theorem tool transformations transition tree types University valid values variables verification weak