scientific article; zbMATH DE number 1332671

zbMath0924.68124MaRDI QIDQ4259992

Orna Kupferman, Moshe Y. Vardi

Publication date: 8 September 1999

Full work available at URL: http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/2/contents.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Simulation relations and applications in formal methods ⋮ PSPACE-completeness of modular supervisory control problems ⋮ On the complexity of verifying concurrent transition systems

This page was built for publication: