1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
PVS Embeddings of Propositional and Quantified Modal Logic
John Rushby
Modal logics allow reasoning about various modes of truth: for example, what it means for something to be possibly true, or to know that something is true as opposed to merely beli…
cs.SE2020
Assurance 2.0: A Manifesto
Robin Bloomfield, John Rushby
System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-r…