Davide Daolio is an author at University of Ferrara specializing in automated reasoning, formal methods, and formal verification.
Top concepts
AutomationEngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringFormal SpecificationInformation Security
Publications per year
2004–2007
2
2
Specification and verification of agent interaction protocols in a logic-based system
Marco Alberti, Davide Daolio, Paolo Torroni et al. · 2004 · 64 citations · Full text
Rows per page
1–2 of 2