Conference Publication Details
Mandatory Fields
Aiyankovil K.G.;Monahan R.;O’Donoghue D.P.
CEUR Workshop Proceedings
Upcycling formal specifications for similar implementations with Arís
2021
January
Published
1
()
Optional Fields
Formal specifications Graph representation Source code
90
91
We describe the Arís system for creating new formal specifications for source code by transferring existing specifications to similar implementations. We show the code graphs underlying its operation, graph matching supports retrieval, and pattern completion enables transfer of specifications to new implementations. A theorem prover formally verifies the new specifications.
Grant Details