skneko-upv / train-interlocking

Model of a concurrent train interlocking system for formal verification

spin promela formal-verification trains

This repository is not active

About

Model of a concurrent train interlocking system for formal verification

spin promela formal-verification trains

Languages

Language:Promela 100.0%