scientific article; zbMATH DE number 1905120

zbMath1010.68809MaRDI QIDQ4806210

Benet Devereux, Marsha Chechik, Arie Gurfinkel

Publication date: 21 May 2003

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)

Related Items (2)

Data structures for symbolic multi-valued model-checking ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement

This page was built for publication: