scientific article; zbMATH DE number 1903358
From MaRDI portal
Publication:4804901
zbMath1010.68515MaRDI QIDQ4804901
Ofer Strichman, Anubhav Gupta, James H. Kukula, Edmund M. Clarke
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040265.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Abstraction and Abstraction Refinement ⋮ When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus ⋮ Machine learning and logic: a new frontier in artificial intelligence ⋮ A canonical form based decision procedure and model checking approach for propositional projection temporal logic ⋮ Incremental Learning-Based Testing for Reactive Systems ⋮ An efficient approach for abstraction-refinement in model checking ⋮ Compositional SCC analysis for language emptiness ⋮ Partial predicate abstraction and counter-example guided refinement ⋮ The voice of optimization ⋮ Verifying time partitioning in the DEOS scheduling kernel
Uses Software
This page was built for publication:
