11 citations · 11 across the 1 of their papers we have counts for
1 paper
Gal Katz, Doron Peled
Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checkin…