openETCS / model-evaluationLinks
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
☆13Updated 11 years ago
Alternatives and similar repositories for model-evaluation
Users that are interested in model-evaluation are comparing it to the libraries listed below
Sorting:
- Supplementary files for SSFT 2015 summer school☆12Updated 6 years ago
- Program Round-off Error Certifier via Static Analysis☆56Updated last month
- An interactive development environment for SMT-LIB files and Z3☆24Updated 3 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Updated 3 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Updated 2 months ago
- symbolic reachability checker☆23Updated 4 years ago
- Synthesis Format Conversion Tool☆26Updated 2 months ago
- Collection of builtin GNU TeXmacs plugins☆45Updated 6 months ago
- Intrepyd Model Checker☆18Updated 4 years ago
- Repository of benchmarks for SYNTCOMP☆14Updated 4 months ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 3 years ago
- Open Source AADL2 Tool Environment☆49Updated 3 months ago
- LLDB Frontend for Gud☆13Updated 8 years ago
- ☆39Updated 2 months ago
- Minimal Emacs distribution for beginners to use with Programming Languages course on Coursera☆18Updated 9 years ago
- My Spacemacs configuration.☆11Updated 7 years ago
- ☆14Updated 8 months ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- Defines a common protocol for language servers.☆21Updated last year
- sel4 benchmarking applications and support library.☆19Updated last month
- The LOOM IR instrumentation framework☆19Updated last year
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Updated 5 years ago
- emacs-lisp version of the marmalade package repository☆112Updated 10 years ago
- ☆30Updated 8 years ago
- Simple extension to export snippets to org-mode and vice versa☆13Updated 5 years ago
- Online BDD Simulation Tool☆25Updated 6 months ago
- clone of git://lxr.linux.no/git/lxrng.git☆13Updated 8 years ago
- Graphviz DOT grammar for tree-sitter.☆19Updated 3 months ago
- Some sample code for creating gcc plugins☆22Updated 15 years ago
- personal knowledge wiki☆25Updated 6 years ago