All software
1Filter
Mentions
Keywords
21
Program languages
20
Licenses
5
12
1-4 of 4
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
36
1075
xDECAF
An extensible data flow diagram constraint analysis framework for information security
- Data Flow Diagram
- Modeling
- open source
- + 1
- Java
- Python
- Nix
- + 1
8
55
Automating Requirements and Documentation Comprehension (ARDoCo)
Automating Requirements and Documentation Comprehension (ARDoCo) is a framework to connect architecture documentation, requirements, and models while identifying missing or deviating elements (inconsistencies). An element can be any representable item of the model like a software component.
- Consistency
- Documentation
- Inconsistency Detection
- + 6
- Java
- ANTLR
- Markdown
- + 3
5
31
Lightning UQ Box
The lightning-uq-box is a PyTorch library that provides various Uncertainty Quantification (UQ) techniques for modern neural network architectures.
- Deep Learning
- python
- uncertainty quantification
- Python
0
0