Automatic Verification with Abstraction and Theorem Proving

Kuncak, ViktorHojjat, Hossein2013-07-312013-07-312013-07-31201310.5075/epfl-thesis-5828https://infoscience.epfl.ch/handle/20.500.14299/93663urn:nbn:ch:bel-epfl-thesis5828-0ensoftware verificationpredicate abstractioninterpolationHorn clausetimed systemsAutomatic Verification with Abstraction and Theorem Provingthesis::doctoral thesis