Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Procee

DOI10.1007/978-3-540-78800-3zbMath1133.68009OpenAlexW2503469005MaRDI QIDQ2479551

No author found.

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers, Information-flow control on ARM and POWER multicore processors, An iterative approach to precondition inference using constrained Horn clauses, Risk-aware shielding of partially observable Monte Carlo planning policies, Multiphase until formulas over Markov reward models: an algebraic approach, Efficient strategies for CEGAR-based model checking, Reachability of scope-bounded multistack pushdown systems, Syntax-guided quantifier instantiation, A generic framework for symbolic execution: a coinductive approach, Parallelizing SMT solving: lazy decomposition and conciliation, Complexity of automatic sequences, Fast computations on ordered nominal sets, From LCF to Isabelle/HOL, Fifty years of Hoare's logic, SAT competition 2020, A posthumous contribution by Larry Wos: excerpts from an unpublished column, Theorem proving as constraint solving with coherent logic, \textsc{LTL} falsification in infinite-state systems