Dan Rasin

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 3

Top Topics

Formal Specification

Concurrent Programs

Temporal Properties

Top Venues

Haifa Verification Conference

Publications

Dan Rasin, Orna Grumberg, Sharon Shoham
Modular Verification of Concurrent Programs via Sequential Model Checking. CoRR (2021)
Hila Peleg, Dan Rasin, Eran Yahav
Generating Tests by Example. VMCAI (2018)
Dan Rasin, Orna Grumberg, Sharon Shoham
Modular Verification of Concurrent Programs via Sequential Model Checking. ATVA (2018)
Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin
Generating Modulo-2 Linear Invariants for Hardware Model Checking. Haifa Verification Conference (2014)