AsmRefProver - Asmeta Refinement correctness Prover
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332043" target="_blank" >RIV/00216208:11320/16:10332043 - isvavai.cz</a>
Result on the web
<a href="http://asmeta.sourceforge.net/download/asmrefprover.html" target="_blank" >http://asmeta.sourceforge.net/download/asmrefprover.html</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
AsmRefProver - Asmeta Refinement correctness Prover
Original language description
Model refinement is one of the main concepts which the Abstract State Machine (ASM) formal method is built on. The tool automatically checks refinement correctness by using an SMT representation of the ASM models.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA14-11384S" target="_blank" >GA14-11384S: Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
AsmRefProver
Technical parameters
Open source
Economical parameters
nelze aplikovat - open source akademický software
Owner IČO
00216208
Owner name
Paolo Arcaini