scientific article; zbMATH DE number 1852146

zbMATH Open1002.68631MaRDI QIDQ4787212

Robert Beers, Rajnish Ghughal, Mark D. Aagaard

Publication date: 9 January 2003

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

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 (3)

Unnamed Item ⋮ Verification of scope-dependent hierarchical state machines ⋮ Higher-order program verification via HFL model checking

Recommendations

• Unnamed Item 👍 👎
• Model-checking hierarchical structures 👍 👎
• Improved model checking of hierarchical systems 👍 👎
• Applications of Hierarchical Reasoning in the Verification of Complex Systems 👍 👎
• Improved Model Checking of Hierarchical Systems 👍 👎
• Higher-Order Model Checking: An Overview 👍 👎
• Hierarchical Reasoning for the Verification of Parametric Systems 👍 👎

This page was built for publication: