UPPAALModelChecker / utapLinks
Uppaal Timed Automata Parser
☆11Updated last month
Alternatives and similar repositories for utap
Users that are interested in utap are comparing it to the libraries listed below
Sorting:
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆16Updated last week
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆70Updated 3 years ago
- Lossless compressor for PC / decompressor for system with limited resources☆9Updated 4 months ago
- Software and documentation, mostly from the 80s and 90s☆23Updated 10 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- i8080 state/cycle accurate emulator which tries to mimick a possible hardware implementation☆13Updated 8 years ago
- Hard Real-Time world-wide clock synchronization utilizing new better algorithms than PTP and NTP uses.☆13Updated 9 years ago
- ☆9Updated 5 years ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆18Updated 2 years ago
- Sireum: A High Assurance System Engineering Platform☆12Updated this week
- A C interpreter with matrices and pointers☆33Updated 3 years ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆13Updated 7 years ago
- TinyTimber is a C implementation of the concurrent reactive objects of Timber. For more information about the full Timber language, see:☆12Updated 13 years ago
- Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining☆46Updated 4 years ago
- Portable Event Library☆17Updated 2 months ago
- Instrumented Java Optimized processor☆33Updated 12 years ago
- JSON Never Dies - a binary JSON encoding experiment☆11Updated 8 years ago
- The Sirio library for the analysis of stochastic time Petri nets☆14Updated 4 months ago
- This fork family includes the 6502 upgraded to 32-bit address bus, in Verilog HDL☆20Updated 5 years ago
- ☆13Updated 4 years ago
- New programming language for small systems☆16Updated 2 years ago
- pmt☆14Updated 6 months ago
- Apex RTOS - A (somewhat) Linux compatible real time operating system☆33Updated 3 years ago
- ☆12Updated 7 years ago
- Compiler Generator Coco/R modified for VerilogEbnf☆9Updated 5 years ago
- TCCBOOT: TinyCC Boot Loader☆12Updated 10 years ago
- uckermit: μC‑Kermit (μCKermit, micro‑C‑Kermit, microkermit) is a minimalistic Kermit implementation for small, embedded, or resource cons…☆17Updated last year
- Grand unified collection of headers to access various hardware chips and components☆18Updated 9 years ago
- Examples and case-study that use OSATE☆57Updated 2 months ago