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
Publication:2479551
DOI10.1007/978-3-540-78800-3zbMATH Open1133.68009OpenAlexW2503469005MaRDI QIDQ2479551FDOQ2479551
Author name not available (Why is that?)
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
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)
Cited In (24)
- Efficient strategies for CEGAR-based model checking
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
- Multiphase until formulas over Markov reward models: an algebraic approach
- A posthumous contribution by Larry Wos: excerpts from an unpublished column
- \textsc{LTL} falsification in infinite-state systems
- Reachability of scope-bounded multistack pushdown systems
- Syntax-guided quantifier instantiation
- Truncating abstraction of bit-vector operations for BDD-based SMT solvers
- Fifty years of Hoare's logic
- Parallelizing SMT solving: lazy decomposition and conciliation
- An iterative approach to precondition inference using constrained Horn clauses
- Complexity of automatic sequences
- Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL
- Information-flow control on ARM and POWER multicore processors
- Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
- Risk-aware shielding of partially observable Monte Carlo planning policies
- Fast computations on ordered nominal sets
- From LCF to Isabelle/HOL
- First order Büchi automata and their application to verification of LTL specifications
- A generic framework for symbolic execution: a coinductive approach
- Global guidance for local generalization in model checking
- Theorem proving as constraint solving with coherent logic
- Transforming concurrent programs with semaphores into logically constrained term rewrite systems
- SAT competition 2020
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2479551)
