Skip to content
@imitator-model-checker

Imitator

Software tool for parametric verification and robustness analysis of real-time systems with parameters

Popular repositories Loading

  1. imitator imitator Public

    IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

    OCaml 26 12

  2. emacs-imitator-mode emacs-imitator-mode Public

    Emacs major mode for editing IMITATOR code

    Emacs Lisp 2

  3. sandbox sandbox Public

    Repository containing old files or files to test ideas

    Hy 1

  4. vim-imitator vim-imitator Public

    Imitator syntax highlighting for vim

    Vim Script 1

  5. imitator-web imitator-web Public

    Graphical web interface to run imitator

    CSS 1

  6. atom-imitator atom-imitator Public

    Imitator syntax highlighting for Atom

    1

Repositories

Showing 8 of 8 repositories
  • imitator Public

    IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

    imitator-model-checker/imitator’s past year of commit activity
    OCaml 26 GPL-3.0 12 70 (1 issue needs help) 1 Updated Nov 26, 2024
  • sandbox Public

    Repository containing old files or files to test ideas

    imitator-model-checker/sandbox’s past year of commit activity
    Hy 1 0 0 0 Updated Apr 27, 2023
  • imitator-web Public

    Graphical web interface to run imitator

    imitator-model-checker/imitator-web’s past year of commit activity
    CSS 1 GPL-3.0 0 2 0 Updated Jun 7, 2022
  • vim-imitator Public

    Imitator syntax highlighting for vim

    imitator-model-checker/vim-imitator’s past year of commit activity
    Vim Script 1 GPL-3.0 0 0 0 Updated Oct 27, 2021
  • atom-imitator Public

    Imitator syntax highlighting for Atom

    imitator-model-checker/atom-imitator’s past year of commit activity
    1 GPL-3.0 0 1 0 Updated Sep 21, 2021
  • sublime-text-imitator Public

    Imitator syntax highlighting for Sublime Text

    imitator-model-checker/sublime-text-imitator’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Oct 9, 2020
  • emacs-imitator-mode Public

    Emacs major mode for editing IMITATOR code

    imitator-model-checker/emacs-imitator-mode’s past year of commit activity
    Emacs Lisp 2 GPL-3.0 0 0 0 Updated Aug 17, 2018
  • HSC Public

    Hierarchical Scheduling Composition (HSC) model in the form of IMITATOR input

    imitator-model-checker/HSC’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Apr 18, 2018

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…