scientific article; zbMATH DE number 1852167

zbMath1002.68643MaRDI QIDQ4787242

Christian Jacobi, Christoph Berg

Publication date: 9 January 2003

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

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (2)

Formal verification of the VAMP floating point unit ⋮ Formalization of fixed-point arithmetic in HOL

Uses Software

• PVS

This page was built for publication: