18 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
Ittoop Vergheese Puthoor
Formal methods have been a successful approach for modelling and verifying the correctness of complex technologies like microprocessor chip design, biological systems and others. T…