uppaal-to-tchecker

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

v1.3.0 URL: https://unpkg.com/uppaal-to-tchecker@1.3.0/src/index.js

Open Browse Files

uppaal tchecker timed-automata model-checking formal-verification translator converter verification automata real-time-systems