VLTS Benchmark Suite

swMATH9810MaRDI QIDQ21789FDOQ21789

Author name not available (Why is that?)

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