MCLab @ Sapienza

Research on ModelChecking based algorithms and tools for automatic verification and synthesis of Mission Critical and Safety Critical Cyber Physical Systems

Rome