Automatic proof-search heuristics in the Maude invariant analyzer tool
The 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 I...
Saved in:
Institution: | Escuela Colombiana de Ingeniería |
---|---|
Main Authors: | , |
Format: | Capítulo - Parte de Libro |
Language: | English |
Published: |
Switzerland
2013
|
Subjects: | |
Online Access: | https://repositorio.escuelaing.edu.co/handle/001/1837 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|