Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part III
From MaRDI portal
Publication:2633620
DOI10.1007/978-3-030-17502-3zbMath1408.68008OpenAlexW2954479669MaRDI QIDQ2633620
No author found.
Publication date: 9 May 2019
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-17502-3
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)
Related Items (9)
First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification ⋮ Certifying proofs in the first-order theory of rewriting ⋮ Automated deduction and knowledge management in geometry ⋮ Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting ⋮ Solving finite-linear-path CTL-formulas using the CEGAR approach ⋮ A Myhill-Nerode theorem for register automata and symbolic trace languages ⋮ Unnamed Item ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* ⋮ \textsc{LTL} falsification in infinite-state systems
This page was built for publication: Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part III
