scientific article; zbMATH DE number 1956595

zbMath1031.68542MaRDI QIDQ4417941

Tevfik Bultan, Constantinos Bartzis

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190394.htm

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

\textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks ⋮ BDDs for Pseudo-Boolean Constraints – Revisited

Uses Software

• NuSMV

This page was built for publication: