• English
• Italiano

Formal methods

Languages for the description and specification of hardware and software systems.
Formal methods for verification of hardware and software systems, validation of hardware and software systems through Bounded Model Checking (BMC).

Formal methods for the development of safety-critical software, formal verification of software security.

Research groups

• Formal Methods for Software Engineering Group
  
  • Formal methods for the development of software and distributed safety critical systems
• Metodi formali
  
  • Languages for the description and specification of hardware and software systems.
  • Formal methods for verification of hardware and software systems, validation of hardware and software systems through Bounded Model Checking (BMC).