This is an old revision of the document!
Benchmarks for Set-Driven Combination of Logics and Verifiers
For the description of the underlying technique, see the recent paper.
For more information, see also the Jahob system
Menu