sysmaSysMA is a research unit of IMT Lucca interested in
  • Foundations of concurrent, distributed, and mobile systems
  • Stochastic process algebras
  • Languages for network aware and service-oriented programming
  • Constraint-based languages
  • Logics for system specification
  • Quantitative and qualitative model checking
  • Static and dynamic analysis techniques
  • Reversible computing
Our goal is to push the use of formal methods as methodological and automatic tools for the development of high-quality, correct software and systems that are fast, usable, re-usable, maintainable, and modular. To make our tools usable by programmers not acquainted with the underlying mathematical foundations; we aim at effective but disappearing formal methods.