Exploració per tema "invariant"
Ara es mostren els items 1-1 de 1
-
Entorn per a l'anàlisi de terminació de programes
(Universitat Politècnica de Catalunya, 2014-06-30)
Treball Final de Grau
Accés obert[CATALÀ] Aquest projecte presenta una eina que comprova si els resultats d'anàlisi de terminació generats pel programa CppInv són correctes o no. També presenta una web que permet als usuaris realitzar anàlisis de terminació ...