Symbolic model checking with sentential decision diagrams

DOI10.1007/978-3-030-62822-2_8zbMath1503.68185OpenAlexW3103954389MaRDI QIDQ2169116

Alfons W. Laarman, Lieuwe Vinkhuijzen

Publication date: 1 September 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-62822-2_8

Mathematics Subject Classification ID

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

Related Items (1)

A decision diagram operation for reachability

This page was built for publication: Symbolic model checking with sentential decision diagrams