Mostrar el registro sencillo del ítem

Automatic proof-search heuristics in the maude invariant analyzer tool

dc.creatorRocha, Camilo
dc.date2013-12-01
dc.date.accessioned2022-03-03T19:57:47Z
dc.date.available2022-03-03T19:57:47Z
dc.identifierhttps://revistas.unab.edu.co/index.php/rcc/article/view/2017
dc.identifier.urihttp://test.repositoriodigital.com:8080/handle/123456789/13962
dc.descriptionThe Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This paper presents the automatic proof-search heuristics at the core of the Maude Invariant Analyzer Tool, which provide a substantial degree of automation and can automatically discharge many proof obligations without user intervention. These heuristics can take advantage of equationally defined equality predicates and include rewriting, narrowing, and SMT-based proof-search techniques.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Autónoma de Bucaramangaes-ES
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/2017/1802
dc.rightsDerechos de autor 2013 Revista Colombiana de Computaciónes-ES
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0es-ES
dc.sourceRevista Colombiana de Computación; Vol. 14 No. 2 (2013): Revista Colombiana de Computación (Julio-Diciembre); 98-121en-US
dc.sourceRevista Colombiana de Computación; Vol. 14 Núm. 2 (2013): Revista Colombiana de Computación (Julio-Diciembre); 98-121es-ES
dc.source2539-2115
dc.source1657-2831
dc.titleAutomatic proof-search heuristics in the maude invariant analyzer tooles-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem