SpecForge – A Platform for Authoring Formal Specifications

Keyboard shortcuts Press ← or → to navigate between chapters Press S or / to search in the book Press ? to show this help Press Esc to hide this help Auto Light Rust Coal Navy Ayu SpecForge User Guide A Whirlwind Tour This section is a quick introduction to SpecForge’s main capabilities through a hands-on example. We’ll explore how to write specifications in the Lilo language and analyze them using SpecForge’s VSCode extension. The Lilo Language: A Brief Introduction Lilo is an expression-based