Alternatives and similar repositories for uppaal-latex

Users that are interested in uppaal-latex are comparing it to the libraries listed below

• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆19Updated 8 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆179Updated this week
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆160Updated last month
• osate / examples
  Examples and case-study that use OSATE
  ☆57Updated last month
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated 2 weeks ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆98Updated this week
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆22Updated 4 months ago
• imandra-ai / imandra-ros
  Imandra ROS
  ☆17Updated 3 years ago
• cmu-rss-lab / rosdiscover
  ☆17Updated last year
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆12Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆351Updated last month
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 6 months ago
• metal-ci / test
  ☆30Updated 4 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆109Updated 3 years ago
• OpenAADL / AADLib
  Library of AADL models
  ☆44Updated 6 months ago
• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆165Updated 6 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• cvra / robot-software
  CVRA monorepo - All software running on our bots lives here
  ☆45Updated last year
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• smaccm / smaccm
  ☆33Updated 6 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 8 months ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆24Updated 2 weeks ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• klemens-morgenstern / metal.test
  Deprecated, superseded by https://github.com/metal-ci/test
  ☆41Updated 5 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 6 months ago
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆38Updated last week
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆93Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆171Updated 2 weeks ago