AGRA | Software

HOME | KONTAKT |

Switch EN

Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Software

Im Rahmen unserer Forschungsarbeit sind folgende Software-Entwicklungen (teilweise universitätsübergreifend) entstanden:

RISC-V
Open Source Tools and Publications

FoREnSiC
a bundle of several engines implementing various techniques to automating error localization and correction for C/C++ programs

JADE
Implementation and Visualization of a BDD Package in JAVA

Lips
lips IDE for Natural Language Processing

metaSMT
An Embedded Domain Specific Language for SMT

RevLib
An Online Resource for Reversible Functions and Circuits

RevKit
A Toolkit for Reversible Circuit Design

RevVis
Ein Tool zur Visualisierung von Strukturen und Eigenschaften reversibler Schaltkreise

SWORD
A Module-based SMT Solver

BioViz
An Interactive Visualization Engine for Digital Microfluidic Biochips

CRAVE
Constrained RAndom Verification Environment

AMS
Verification of Analog Mixed Signal (AMS) Systems

SCIVER
SystemC Induction-based VERifier for Transaction Level Models

SISSI
SystemC Intermediate Verification Language and Symbolic Simulator

SCA
This Area provides formal verification solutions based on Symbolic Computer Algebra (SCA)

©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz