形式手法

formal-methods moc

• モデル検査 model-checking
• 証明支援系 theorem-proof
  • Idris
  • Agda
  • Isabelle
  • LEAN
  • Coq
    

参考文献

• 自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み