Person:583873

Available identifiers

zbMath Open german.steven-mMaRDI QIDQ583873

List of research outcomes

Publication	Date of Publication	Type
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic	2017-06-13	Paper
Model Checking Software	2007-05-02	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4818814	2004-09-24	Paper
Formal design of cache memory protocols in IBM	2003-05-11	Paper
Semantics and reasoning with free procedures	1992-09-27	Paper
Reasoning about procedures as parameters in the language L4	1989-01-01	Paper
Monitoring for Deadlock and Blocking in Ada Tasking	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326819	1984-01-01	Paper
Effective Axiomatizations of Hoare Logics	1983-01-01	Paper

Research outcomes over time

This page was built for person: Steven M. German