scientific article; zbMATH DE number 1746451

zbMATH Open0985.68667MaRDI QIDQ4532082FDOQ4532082

Authors: Javier Esparza 

Publication date: 28 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670183

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Liveness checking as safety checking for infinite state spaces
• Generalization strategies for the verification of infinite state systems
• Finite verification of the characteristic specification of discrete systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532082)