uppaal-to-tchecker

JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models to TChecker format

main:
https:/unpkg.com/uppaal-to-tchecker@1.3.0/src/index.js
Browse on unpkg