VLTS Benchmark Suite

MaRDI QIDQ21789swMATHFDO

Official website http://www.inrialpes.fr/vasy/cadp/resources/benchmark_bcg.html

Cited in

(4)

• Tools and Algorithms for the Construction and Analysis of Systems
• Generalizing the Paige-Tarjan algorithm by abstract interpretation
• An efficient simulation algorithm based on abstract interpretation
• Improved distributed algorithms for SCC decomposition

This page was built for software: VLTS Benchmark Suite