2 citations · 2 across the 1 of their papers we have counts for
3 papers
Sealing Pointer-Based Optimizations Behind Pure Functions
Daniel Selsam, Simon Hudon, Leonardo de Moura
Functional programming languages are particularly well-suited for building automated reasoning systems, since (among other reasons) a logical term is well modeled by an inductive t…
The Unit-B Method -- Refinement Guided by Progress Concerns
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B aims at the stepwise design of software systems satisfying safety and liveness properties. The method featu…
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Timed Transition Models (TTMs) are event-based descriptions for modelling, specifying, and verifying discrete real-time systems. An event can be spontaneous, fair, or timed with sp…