Efficient Multi-Core Model Checking

• Home
• Project Description
• Team Members
• Publications
• Software
• CUTTER
• Contact

Software

CUTTER - CUDA Technology based TransitivE Reduction of Networks

Description

CUTTER, short for CUDA Technology based TransitivE Reduction, is a parallel CUDA implementation of unweighted and weighted transitive reduction that can be used to reduce diverse networks, e.g., biological/genetic networks.

Implementations, documentations and example data for CUTTER can be downloaded on the CUTTER subsite.

A paper about CUTTER is in review process.