0Filters
Pinned
Keywords
0
Program languages
0
Licenses
0
12
1-5 of 5
FormatFuzzer
FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.
- Automated Test Generation
- Fuzzing
- Information
- + 3
- Python
- C++
- Shell
- + 3
0
0
RTLola Frontend
A frontend to parse and analyze RTLola specifications
- Formal Methods
- Frontend
- monitoring
- + 2
- Rust
- Shell
4
0
RTLola Interpreter
An interpreter for RTLola specifications
- Formal Methods
- Interpreter
- monitoring
- + 1
- Rust
- Python
- Shell
4
0
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 10
0
0
TBT-Segmentation
Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.
- CPS
- Formal Specification
- monitoring
- + 2
- Rust
- Python
- Shell
- + 2
6
2