Pages that link to "Item:Q2479551"

The following pages link to 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 (Q2479551):

Displaying 18 items.

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