IID.systems
ProfileServicesFormal MethodsAI AlignmentEssaysBookSchoolGitHub↗日本語
日本語

Formal Methods (Formal Methods)

Pursuing software correctness through mathematical rigor

Formal methods is a generic term for techniques to describe and verify software specifications based on mathematical notation and logic. It has long been used in fields requiring high reliability such as aerospace, railways, and medical devices. IID Systems is researching how to apply these formal methods to AI-driven software development in the AI era.

What are Formal Methods

Introduction

The three domains of model checking, theorem proving, and formal specification, and their track record

Formal Specification

Technology

Explanation of specification languages such as VDM-SL, TLA+, and B-Method

Formal Methods in the AI Era

Outlook

Possibilities brought by the combination of LLM and formal methods

Method Comparison

Analysis

Structural differences between Waterfall, Agile, TDD and formal methods

Research Project

Research

IID Systems' research on AI-driven development based on formal specifications

Formal Agent Contracts

Plugin

Claude Code plugin for defining, verifying, and generating code and contract tests for inter-agent contracts in VDM-SL