AutoProof

MaRDI QIDQ42662swMATHFDO

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

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

Cited in

(18)

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

This page was built for software: AutoProof