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
A grouping.
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).
13 references
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