AGRA | Software

HOME | CONTACT |

Switch DE

Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen

Software

As part of the research work, the following software tools have been developed (partially in close cooperation with other universities):

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 | Group of Computer Architecture | Contact | Legal & Data Privacy