/Model-Checking-of-Battery-Powered-Railway-Lines

Model Checking of Battery-Powered Railway Lines in Uppal.

Model Checking of Battery-Powered Railway Lines

Project for the course Formal Methods for Concurrent and Real-Time Systems @ Politecnico di Milano.

Authors: Emilio Ingenito, Andrea Carotti