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
  • Interning Checker
• CheckLT: Taint Checking for Mere Mortals

Tool Authoring Guide

• Tool Authoring Guide

Spec Authoring Guide

• Specification Authoring Guide
• Authoring Standalone Specifications
  • Creating the Project
• Authoring Inline Specifications
• Where Do Published Specs Go?
• Advanced Topics in Specification Authoring
  • Layering Specifications
  • Refreshing Layered Specifications

Frequently Asked Questions

• Frequently Asked Questions
  • I just installed Spekl but it’s not appearing on my path. Do I need to manually add it?
  • I need to update my publishing information/authentication info, how do I do it?
  • My project has multiple authors, how can we all author together?
  • How Do I Update My Specs/Tools After I Publish Them?
  • Help! Something is Broken! Spekl Isn’t Working, etc

Indices and tables

• Index
• Module Index
• Search Page