Sciweavers

Share
BIRTHDAY
2010
Springer

The Arrow of Time through the Lens of Computing

9 years 3 months ago
The Arrow of Time through the Lens of Computing
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence between Similar Programs: a Progress Report 12:00 PM Giora Slutzki Inverting Proof Systems for Secrecy under OWA 12:30 PM Lunch 02:00 PM Robert Kurshan Verification-Guided Hierarchical Design 02:30 PM Werner Damm Towards Component Based Design of Hybrid Systems 03:00 PM Ken McMillan Invisible Invariants: Underapproximating to Overapproximate 03:30 PM Break 04:00 PM Allen Emerson Time for Time 04:30 PM Leslie Lamport Temporal Logic: The Lesser of Three Evils 05:00 PM Stephan Merz A Mechanized Proof System for TLA+ Specifications May 09 08:30 AM Moshe Vardi From Löwenheim to Pnueli, from Pnueli to PSL and SVA 09:00 AM Tom Henzinger Quantitative Modeling and Verification Patrick Cousot A Scalable Segmented Decision Tree Abstract Domain 10:00 AM Break 10:30 AM Oded Maler Properties and Verification in the Continuo...
Krishna V. Palem
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Where BIRTHDAY
Authors Krishna V. Palem
Comments (0)
books