Publication:4417910
From MaRDI portal
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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time, From linear temporal logics to Büchi automata: the early and simple principle, Bounded semantics, Development of global specification for dynamically adaptive software, Pardinus: a temporal relational model finder
Uses Software