Wiki Agenda Contact English version

see also the index (by topic, by tool, by reference, by year)


ProofInUse joint laboratory

http://www.spark-2014.org/proofinuse

ProofInUse is joint laboratory between Toccata and SME AdaCore. Its goal is to provide verification tools, based on mathematical proof, to industry users.


see also the index (by topic, by tool, by reference, by year)