scientific article; zbMATH DE number 1796151

zbMath0991.68542MaRDI QIDQ4551175

J. Strother Moore

Publication date: 4 September 2002

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

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

zbMATH Keywords

verificationtheorem provinghardware modelingmicroprocessor simulationpipelined machine

Mathematics Subject Classification ID

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

Uses Software

• PVS
• Ivy

This page was built for publication: