openETCS / model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
☆13Updated 10 years ago
Alternatives and similar repositories for model-evaluation:
Users that are interested in model-evaluation are comparing it to the libraries listed below
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- Unofficial mirror of GNU GLOBAL repository, which uses CVS☆9Updated 9 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated last month
- FUSE-powered filesystem over Subversion repository☆8Updated 11 years ago
- LLDB Frontend for Gud☆13Updated 7 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…☆26Updated 2 years ago
- emacs lisp文档中文翻译☆21Updated 9 years ago
- This small application allows to create and simulate any Deterministic or Non-Deterministic Finite Automata (DFA or NFA) as well as Turin…☆9Updated 3 years ago
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆18Updated this week
- The CIlk programming language from http://supertech.lcs.mit.edu/cilk/☆9Updated 9 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆13Updated 11 months ago
- clone of git://lxr.linux.no/git/lxrng.git☆13Updated 8 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆15Updated 2 weeks ago
- The Cubicle model checker☆13Updated last year
- [DEPRECATED], now lives at https://github.com/neovim/doc☆23Updated 3 years ago
- Java B+-Tree with features like flexible storage, sort order, serialization, ...☆13Updated 13 years ago
- The framework for next generation data center.☆16Updated 2 months ago
- CIAO is a C++ implementation of the OMG's LwCCM standard.☆11Updated 4 years ago
- My Emacs configuration files☆14Updated last year
- Command-line utilities for Real World OCaml☆16Updated 6 years ago
- It's a mode for flex files that provide better syntax highlight than flex-mode.el☆9Updated 5 years ago
- Generation of mutant programs☆21Updated 6 years ago
- ARM-based operating system - fork of http://github.com/mrd/puppy☆15Updated 10 years ago
- The Termite driver synthesis tool☆32Updated 7 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆14Updated last month
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated last week
- Semantic Differential Repair☆11Updated 10 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Updated 9 years ago
- library (and utility) for tracking filesystem changes☆17Updated 3 years ago
- The Overture Tool☆50Updated 5 months ago