Tested techniques
Concrete, tested software recipes with the steps, constraints, and verification details needed to apply them.
Each recipe is meant to be used: it should name the tools involved, show the important steps, and make its verification basis visible.
Published work
New recipes will appear here after their steps and verification notes are ready to share.