AutoProof

MaRDI QIDQ42662swMATHFDO

Official website http://se.inf.ethz.ch/research/autoproof/

Source code repository https://github.com/julian-tschannen/autoproof

Cited in

(18)

• Ensuring correctness of model transformations while remaining decidable
• An assertional proof of the stability and correctness of Natural Mergesort
• Verifying OpenJDK's sort method for generic collections
• Verifying Whiley programs with Boogie
• JMLUnit
• ArcAngel
• BVD
• OpenJML
• AstraVer
• TimSort
• FeatherTrait
• Traits: correctness-by-construction for free
• TraitCbC
• Whiley
• A verification-driven framework for iterative design of controllers
• JMLAutoTest
• Whiteoak
• TraitRecordJ

This page was built for software: AutoProof