John Rushby

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mechanized formal methods: progress and prospects	2024-07-05	Paper
A mechanically assisted examination of begging the question in Anselm's ontological argument	2022-09-28	Paper
A formally verified algorithm for clock synchronization under a hybrid fault model Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94	2017-09-29	Paper
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science	2007-11-28	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2080768 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2033515 (Why is no real title available?)	2004-01-27	Paper
scientific article; zbMATH DE number 1746646 (Why is no real title available?)	2002-06-09	Paper
scientific article; zbMATH DE number 1670798 (Why is no real title available?)	2001-11-11	Paper

Research outcomes over time

This page was built for person: John Rushby