scientific article; zbMATH DE number 1956570

zbMath1031.68077MaRDI QIDQ4417910

Marco H. Benedetti, Alessandro Cimatti

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190018.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 (5)

From linear temporal logics to Büchi automata: the early and simple principle ⋮ Bounded semantics ⋮ Development of global specification for dynamically adaptive software ⋮ Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time ⋮ Pardinus: a temporal relational model finder

Uses Software

• NuSMV

This page was built for publication: