Cambridge University Press / Infinite State Systems / MIT Press / Oracle / T. Nipkow L. C. / M. J. Fischer N. A. / Intel / John Wiley & Sons / R. Tuttle Strategic CAD Lab Intel Corporation / Amit Goel Strategic CAD Lab Intel Corporation / / /
Event
Product Issues / /
IndustryTerm
classical protocol / formal verification technology / trivial solution / it easy to describe protocols / computing / model checking protocols / cache coherence protocol / cache coherence protocols / transition systems / start_computing / consensus protocol / /
Organization
Intel’s Strategic CAD Lab / Cambridge University / MIT / Strategic CAD Lab and Security Research Lab / Strategic CAD Lab / /
Person
Murali Talupur / Rebekah Leslie / Morgan Kauffman / Sava Krsti / L. Groves / V / Jim Grundy / /
Position
author / guard / designer / first author / Proof Assistant / protocol designer / second author / /
Product
nodes / process / node / /
PublishedMedium
Journal of the ACM / Formal Aspects of Computing / Lecture Notes in Computer Science / /
Protocol proof checking simplified with SMT Mark R. Tuttle Strategic CAD Lab Intel Corporation Hudson, MA