Formal Methods and Tools Laboratory (FMT)

home | people | topics | projects | publications | software | news


Advances in Formal Modeling and Applications

Algorithmic Network Models of Spacetime

Formal Approaches to Product Family Engineering

Formal Approaches to Requirements Engineering

Formal Modelling and Verification of Collective Adaptive Systems

Formal Modelling and Verification of Service-Oriented Systems

Modeling and analysis of Railway Control Systems

Verification Tools and Techniques

comments to Stefania Gnesi