Formal Verification Based on Guided Random Walks.

Thang H. Bui, Albert Nymeyer

Browse the full IFM paper archive.