All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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