scientific article; zbMATH DE number 1956604

zbMath1031.68518MaRDI QIDQ4417952

Mandana Vaziri, Daniel Jackson

Publication date: 30 July 2003

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

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

A Study of Symmetry Breaking Predicates and Model Counting ⋮ Unnamed Item ⋮ Visualizing SAT instances and runs of the DPLL algorithm ⋮ Alloy*: a general-purpose higher-order relational constraint solver ⋮ Efficient bounded model checking of heap-manipulating programs using tight field bounds

Uses Software

• SLAM
• SPIN
• BerkMin
• Bandera

This page was built for publication: