G

GuyDanceProofs

Project information

This project contains proofs in PVS to show behavior preservation of configuration repair operation templates for guided configuration evolution.

2 Commits
1 Branch
0 Tags

README

Created on

July 21, 2020

Loading