LfSA 2010 Accepted Papers

A Formalization of the RTSJ Scoped Memory Model in Dynamic Logic
Boolean Coherence: Does it make sense?
Interval Constraint Propagation as a Tool for Deductions about Mixed  Discrete/Continuous Systems
Assume-Guarantee Verification for Probabilistic Systems
Thinking Outside the (Arithmetic) Box: Certifying RAHD Computations
Requirements Validation for Hybrid Systems