Formal software verification

  1. Home
  2. Research
  3. Research areas
  4. Formal software verification
Maria Paola Bonacina
Full Professor
Research interests
Topic People Description
Formal software verification Maria Paola Bonacina
Application of decision procedures for satisfiability modulo theories (SMT) and assignments (SMA) to program verification; invariant generation, interpolation of proofs, and abstraction refinement (for either model checking or static analysis) via automated theorem proving.

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share