Steven M. German

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Steven M. German