Skip to content

bibliography.md

Latest commit

 

History

History
35 lines (25 loc) · 2.52 KB

bibliography.md

File metadata and controls

35 lines (25 loc) · 2.52 KB
Raw

Annex E Bibliography

E.1 Inferara Papers

  • Program Verification: Background and Notation. Inferara. 2024. URL
  • Verification-Driven Development. Inferara. 2024. URL
  • Deductive Verification as an Alternative to "Push-Button" Technologies. Inferara. 2024. URL
  • Specifying Algorithms Using Non-Deterministic Computations. Inferara. 2024. URL

E.2 Books

  • Frederick P. Brooks Jr. – The Mythical Man-Month (Anniversary Edition) – 1995 – ark:/13960/t6b339c1v URL
  • Yuri Glebovich Karpov. MODEL CHECKING. “Verification of Parallel and Distributed Software Systems”. BHV-Petersburg, 2010. 560 pages. ISBN 5977504047, 9785977504041 URL

E.3 Articles

  • Halting Problem. C2 Wiki. URL
  • Graph Coloring. Encyclopedia of Mathematics. URL
  • Four Color Theorem. GitHub Coq Community. URL
  • Turing Machine. Encyclopedia of Mathematics. URL
  • Normal Algorithm. Encyclopedia of Mathematics. URL
  • Lambda Calculus. Encyclopedia of Mathematics. URL
  • Regular Event. Encyclopedia of Mathematics. URL
  • Formal Languages and Automata. Encyclopedia of Mathematics. URL
  • Finite Automaton. Encyclopedia of Mathematics. URL
  • Why Writing Software Is Hard … and Why Math (Alone) Won’t Help Us. URL
  • Unrelated-Machines Scheduling. Wikipedia. URL

E.4 Links

  • CompCert Manual. URL


⏮️ Examples