scientific article

zbMath1272.68221MaRDI QIDQ2848677

Fabio Somenzi, Mohammad Awedh

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052436

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

SAT-Based Model Checking, Bounded semantics, Property-directed incremental invariant generation