AsmRefProver - Asmeta Refinement correctness Prover

Kód výsledku v IS VaVaI

RIV/00216208:11320/16:10332043 - isvavai.cz

Výsledek na webu

http://asmeta.sourceforge.net/download/asmrefprover.html

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

AsmRefProver - Asmeta Refinement correctness Prover

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

AsmRefProver - Asmeta Refinement correctness Prover

Popis výsledku anglicky

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.

Druh

R - Software

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

GA14-11384S: Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

AsmRefProver

Technické parametry

Open source

Ekonomické parametry

nelze aplikovat - open source akademický software

IČO vlastníka výsledku

00216208

Název vlastníka

Paolo Arcaini