Dan Rasin

According to our database, Dan Rasin authored at least 3 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Generating Tests by Example.

Hila Peleg, Dan Rasin, Eran Yahav

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Modular Verification of Concurrent Programs via Sequential Model Checking.

Dan Rasin, Orna Grumberg, Sharon Shoham

Proceedings of the Automated Technology for Verification and Analysis, 2018

2014

Generating Modulo-2 Linear Invariants for Hardware Model Checking.

Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin

Proceedings of the Hardware and Software: Verification and Testing, 2014