I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Home
 Contact
 Teaching
 People
Publications
Student Projects
Research
Tools
 Help

































Thesis Details

Thesis:Constraint-based algorithms for software analysis and verification.
Constraint-based algorithms for software analysis and verification.
  • interpolation for array theories
  • disjunctive invariant generation
  • invariant generation for combined theories
  • template-based summarization for program loops and procedures
AvailableStatus: Available
Contact: rybal@in.tum.de