Research groups-Dep.Computer Science-University of Verona

Follow on

ARLette - Automated Reasoning Laboratory

ARLette, where ARL stands for Automated Reasoning Laboratory, is a hub for research in satisfiability modulo theories and assignments, automated theorem proving, search strategies, decision procedures for satisfiability, automated model building, strategy analysis, distributed deduction, and rewriting, with applications including analysis, verification and synthesis of software/hardware systems and protocols.

Maria Paola Bonacina: Full Professor

Research interests
Topic	Research area
Automated reasoning	Intelligenza Artificiale Knowledge representation and reasoning
Formal software verification	Ingegneria del Software e Verifica Formale Formal software verification

Projects
Title	Managers	Sponsors	Starting date	Duration (months)
Analysis, verification and synthesis of hw/sw systems through synergies of abstract interpretation and automated reasoning	Maria Paola Bonacina		Jun 1, 2012	36
Combinazione di analisi e sintesi di programmi: co-generazione di astrazioni e raffinamenti per l'analisi e la sintesi di programmi (PRIN 2009 valutato positivamente ma non finanziato)	Roberto Giacobazzi	PRIN VALUTATO POSITIVAMENTE	Jul 15, 2011	24
Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems - Design and integration of proof engines for program analysis	Maria Paola Bonacina	Ministero dell'Istruzione dell'Università e della Ricerca	Sep 22, 2008	24
Automated reasoning methods for hardware and software analysis: design, integration and application	Maria Paola Bonacina	PRIN VALUTATO POSITIVAMENTE	Feb 9, 2007	24
Rich-model toolkit: an infrastructure for reliable computer systems	Maria Paola Bonacina	Unione Europea	Oct 30, 2009	48
Synthesis of deduction-based decision procedures with applications to the automatic formal analysis of software -- Synthesis of satisfiability procedures from theorem-proving strategies	Maria Paola Bonacina	Ministero dell'Istruzione dell'Università e della Ricerca	Nov 21, 2003	24
Theorem proving algorithms for program analysis: interpolants, models, and termination (PRIN 2012 non finanziato)	Maria Paola Bonacina		Feb 18, 2013	36

Share

Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234

Follow on

Play store Apple Store

Overview

Organisation

Contact us

Research in brief

Research activities

Facilities

Courses

PhD programmes and postgraduate training

Teaching services

Information for community

Innovation and partnership

Contact us

Research groups

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Libraries

Centres

Laboratories

Spin off and companies

ARLette - Automated Reasoning Laboratory

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Libraries

Centres

Laboratories

Spin off and companies