scientific article

From MaRDI portal

Revision as of 03:50, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3601408

Jump to:navigation, search

zbMath1154.68079MaRDI QIDQ3601408

Bernd Finkbeiner, Ingo Brückner, Klaus Dräger, Heike Wehrheim

Publication date: 10 February 2009

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

zbMATH Keywords

verification Craig interpolation abstraction slicing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Incremental Computation of Succinct Abstractions for Hybrid Systems ⋮ Lazy slicing for state-space exploration ⋮ A unifying view on SMT-based software verification

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3601408&oldid=17021785"