Dipartimento di Informatica e Scienze dell'Informazione

Formal Methods for Software Development: Current Research Activities

Foundations of Logical and Algebraic Development Techniques

• Advanced Specification Formalisms
  

• Relationship between Logical Frameworks
  

Models and Specifications of State-Based, Concurrent and Object Systems

• Specification of Dynamic Systems

• Dynamic Data-Types

• Modules with state and overriding