Reliable Distributed Systems / Derivation Systems Inc. / Oxford University Press / Equipment 1 14 Period / CA. / /
Country
Japan / United States / / /
Facility
NASA’s Langley Research Center / University Computer Science Department / Steven D. Johnson Computer Science Department Indiana University / Indiana University / /
IndustryTerm
hardware-software codesign / synchronization protocol / compliant subtractive division algorithms / state-transition systems / immediate applications / formal design systems / formal systems / software experiments / formal reasoning systems / /
Organization
National Science Foundation / Indiana University Computer Science Department / Indiana University / NASA’s Langley Research Center / Computer Science Department / Machine Prototype Logic Engine Project Board / National Aeronautics and Space Administration / Oxford University / /
Person
Theorem Provers / Derek Kern / Gerard Allwein / Wei Li / Kathryn Fisler / Jon Barwise / Bhaskar Bose / Robert G. Burger / Formal Methods / Zheng Zhu / Logical Reasoning / Albert Camilleri / Lisa Hatchett / K. Jon Barwise / Venkatesh Choppella / Steven D. Johnson / Geraint Jones / Shyam Pullela / M. Esen Tuna / Mary Sheeran / Wei Li John Zuckerman / Venkatesh Chopella / Thomas Kropf / Bob Burger / James F. Leathrum / Shyamsundar Pullela / Jeanette Calvert-Coffrin Wei / D. Johnson M. Esen Tuna Kamlesh Rath / Kamlesh Rath / /
Position
Miner / Principal Investigator / COMMON SRAM FM9001 memory arbiter / Research Assistant / garbage collector / assistant / founder / /
Expanded Final Report Decomposing digital-system specifications into interacting sequential processes Grant Number: MIP[removed], [removed]–[removed]Principal Investigator: Steven D. Johnson Computer Science Department In