John Rushby
13 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
John Rushby
John Rushby: what a certifier should accept as evidence - formal methods for certification, avionics partitioning, just-in-time certification, and verification as system assurance (1993-2009).
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
Automated Formal Methods Enter the Mainstream
John Rushby (2007) · Journal of Universal Computer Science · Verlag der Technischen Universität Graz
Just-in-Time Certification
John Rushby (2007) · 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Partitioning in avionics architectures: Requirements, mechanisms, and assurance
John Rushby (1999) · NASA Langley Research Center
Acceptance of formal methods: Lessons from hardware design
David L. Dill and others (1996) · IEEE Computer
Automated deduction and formal methods
John Rushby (1996) · Lecture notes in computer science · Springer Science+Business Media
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
Sam Owre and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
A tutorial on using PVS for hardware verification
Sam Owre and others (1995) · Lecture notes in computer science · Springer Science+Business Media
Critical system properties: survey and taxonomy
John Rushby (1994) · Elsevier BV
A formally verified algorithm for clock synchronization under a hybrid fault model
John Rushby (1994) · ACM Press
Formal Methods and the Certification of Critical Systems
John Rushby (1993) · SRI International, Computer Science Laboratory
Formal verification of algorithms for critical systems
John Rushby and others (1993) · IEEE Transactions on Software Engineering · IEEE Computer Society
PVS: A prototype verification system
Sam Owre and others (1992) · Lecture notes in computer science · Springer Science+Business Media