Research groups

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.
Topic Research area
Automated Reasoning Intelligenza Artificiale
Artificial intelligence
Software Verification Ingegneria del Software e verifica formale
Logic

Activities

Research facilities

Share