Research groups

ARLette - Automated Reasoning Laboratory

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.
Topic Research area
Automated Reasoning Sistemi intelligenti
Artificial intelligence
Software Verification Informatica teorica


Research facilities