Publication:4804916
From MaRDI portal
zbMath1010.68084MaRDI QIDQ4804916
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040455.htm
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Integrating Topological Proofs with Model Checking to Instrument Iterative Design, Instantiation for Parameterised Boolean Equation Systems, Producing explanations for rich logics, TOrPEDO : witnessing model correctness with topological proofs