scientific article; zbMATH DE number 1973987
From MaRDI portal
Publication:4422082
zbMath1037.68549MaRDI QIDQ4422082
Gilles Audemard, Roberto Sebastiani, Alessandro Cimatti, Artur Korniłowicz
Publication date: 3 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2529/25290243.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Exact Incremental Analysis of Timed Automata with an SMT-Solver ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Planning as satisfiability: heuristics ⋮ Verification Modulo theories ⋮ SAT-based verification for timed component connectors ⋮ Superposition as a decision procedure for timed automata ⋮ SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata ⋮ Unnamed Item ⋮ Exploiting Symmetry in SMT Problems ⋮ Efficient Interpolant Generation in Satisfiability Modulo Theories ⋮ Bounded model checking for knowledge and real time ⋮ Bounded Model Checking with Parametric Data Structures ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next? ⋮ A tool for deciding the satisfiability of continuous-time metric temporal logic
