scientific article; zbMATH DE number 1487864

zbMath0949.68105MaRDI QIDQ4494391

Yuan Lu, Dong Wang, Somesh Jha, Edmund M. Clarke

Publication date: 11 December 2000

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

zbMATH Keywords

model checkingabstractionabstract binary decision diagrams

Mathematics Subject Classification ID

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

Related Items (1)

Data structures for symbolic multi-valued model-checking

This page was built for publication: