Publication:4417910
From MaRDI portal
zbMath1031.68077MaRDI QIDQ4417910
Alessandro Cimatti, Marco H. Benedetti
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, Bounded semantics, Development of global specification for dynamically adaptive software
Uses Software