Lior Mizrahi

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 1

Top Topics

Reactive Behavior

Top Venues

Publications

Gal Amram, Avi Hayoun, Lior Mizrahi, Gera Weiss
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. DISC (2022)
Gal Amram, Lior Mizrahi, Gera Weiss
Simple Executions of Snapshot Implementations. CoRR (2015)
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss
On composing and proving the correctness of reactive behavior. EMSOFT (2013)