The Crescendo Tool

Formal design and modelling using Co-Simulation

Go to our GitHub Profile

Crescendo-related Videos

Seven Tank Airplane Fuel System - pump failure 3s in

Seven Tank Airplane Fuel System - no faults

Line-following robot (co-simulation and realisation comparison)

LevelFlight3x3

Chessway simple video

lf video2 fail

lf video1

Excavator Model

Dredging Excavator

ChessWayDestecs

BallAgainstWall

Briefing20121106