Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

85 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement'. Together they form a unique fingerprint.

Computer Science

Medicine and Dentistry