Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. EPFL thesis
  4. Automatic Verification with Abstraction and Theorem Proving
 
doctoral thesis

Automatic Verification with Abstraction and Theorem Proving

Hojjat, Hossein  
2013
  • Files
  • Details
  • Metrics
Type
doctoral thesis
DOI
10.5075/epfl-thesis-5828
Author(s)
Hojjat, Hossein  
Advisors
Kuncak, Viktor  orcid-logo
Jury

R. Guerraoui (président), C. Koch, D. Monniaux, A. Rybalchenko

Date Issued

2013

Publisher

EPFL

Publisher place

Lausanne

Public defense year

2013-08-15

Thesis number

5828

Subjects

software verification

•

predicate abstraction

•

interpolation

•

Horn clause

•

timed systems

EPFL units
LARA  
Faculty
IC  
School
IIF  
Doctoral School
EDIC  
Available on Infoscience
July 31, 2013
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/93663
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés