Lab for Automated Reasoning and Analysis LARA

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

 
jahob_system_sets.txt · Last modified: 2009/02/08 11:52 by vkuncak