REFINITY to Model and Prove Program Transformation Rules
| Autor: | Dominic Steinhöfel |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Correctness
Computer science Programming language Window (computing) Program transformation 020207 software engineering 0102 computer and information sciences 02 engineering and technology Gas meter prover computer.software_genre 01 natural sciences Transformation (function) Code refactoring 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Workbench User interface computer |
| Zdroj: | Programming Languages and Systems ISBN: 9783030644369 APLAS |
| Popis: | Open image in new window is a workbench for modeling statement-level transformation rules on Open image in new window programs with the aim to formally verify their correctness. It is based on Abstract Execution, a verification framework for abstract programs with a high degree of proof automation, and interfaces with the Open image in new window program prover. We describe the user interface and functionality of Open image in new window , and illustrate its capabilities along the application to proving conditional correctness of a code refactoring rule. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|