Spekl Documentation

Contents:

Spekl in About 5 Minutes

• Getting Started with Spekl
• Installation
• Your First Verification Project
• Next Steps

Spekl Recipes

• What are Spekl Recipes?
• OpenJML
  • Runtime Assertion Checking
  • Extended Static Checking
• FindBugs
  • Run FindBugs and Generate HTML Reports
  • Run FindBugs and Generate XML Reports
• SAW
  • Verify that Two Implementations are Equivalent
• Checker Framework
  • Nullness Checker

Tool Authoring Guide

Spec Authoring Guide

Indices and tables

• Index
• Module Index
• Search Page