Sharon Shoham

This article presents efficient techniques for using first-order logic in verifying systems.

A new method improves verification of safety properties in finite instances.

A new approach to verify system behavior using implicit rankings.