Florian Schanda

bmw-lobster-tool-trlc

Last released Nov 11, 2024

LOBSTER Tool for TRLC

bmw-lobster-tool-python

Last released Nov 11, 2024

LOBSTER Tool for Python3

bmw-lobster-tool-json

Last released Nov 11, 2024

LOBSTER Tool for JSON

bmw-lobster-tool-gtest

Last released Nov 11, 2024

LOBSTER Tool for GoogleTest

bmw-lobster-tool-cpp

Last released Nov 11, 2024

LOBSTER Tool for ISO C/C++

bmw-lobster-tool-codebeamer

Last released Nov 11, 2024

LOBSTER Tool for Codebeamer

bmw-lobster-monolithic

Last released Nov 11, 2024

Monolithic package for all LOBSTER Tools

bmw-lobster-core

Last released Nov 11, 2024

Lightweight Open BMW Software Traceability Evidence Report

bmw-lobster

Last released Nov 11, 2024

Metapackage to install all LOBSTER Tools

trlc

Last released Sep 9, 2024

Treat Requirements Like Code

miss-hit-core

Last released Sep 2, 2024

Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages.

miss-hit

Last released Sep 2, 2024

Static analysis and other utilities for programs written in the MATLAB/Simulink and Octave languages.

PyVCG

Last released Aug 15, 2024

Verification Condition Generator

rdct

Last released Sep 23, 2023

Recursive Descent Compiler Toolkit

pympf

Last released May 20, 2020

An arbitrary precision IEEE-754 implementation in Python