Steven M. German

From MaRDI portal
Person:583873

Available identifiers

zbMath Open german.steven-mMaRDI QIDQ583873

List of research outcomes





PublicationDate of PublicationType
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic2017-06-13Paper
Model Checking Software2007-05-02Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q48188142004-09-24Paper
Formal design of cache memory protocols in IBM2003-05-11Paper
Semantics and reasoning with free procedures1992-09-27Paper
Reasoning about procedures as parameters in the language L41989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33268191984-01-01Paper
Monitoring for Deadlock and Blocking in Ada Tasking1984-01-01Paper
Effective Axiomatizations of Hoare Logics1983-01-01Paper

Research outcomes over time

This page was built for person: Steven M. German

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:583873&oldid=11953365"
Powered by MediaWiki