Alexander Ivrii  Alexander Ivrii photo       

contact information

Sat Solving and Hardware Verification
Haifa
  +972dash828dash1092

links



This page is under construction

 

Below is the full version of the paper "Generating Modulo-2 Linear Invariants for Hardware Model Checking" that was accepted to Haifa Verification Conference 2014.

Generating Modulo-2 Linear Invariants for Hardware Model Checking (with proofs)