Research groups

ARLette

ARLette, where ARL stands for Automated Reasoning Laboratory, houses research in automated theorem proving, automated model building, decision procedures for satisfiability, search strategies, strategy analysis, distributed deduction, and rewriting, with applications including analysis, verification and synthesis of software/hardware systems.
Contact people
Maria Paola Bonacina

URL
http://profs.sci.univr.it/~bonacina/ARLette.html

Topic Research area ISI-CRUI
Automated Reasoning Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
Computer Science & Engineering
Software Verification Informatica teorica
Theory of computation  -  Logic
Computer Science & Engineering

Activities

Research facilities