Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Announcement] Formal Verification of Biologic...

Email Gateway (Sep 18 2026 at 18:10):

From: Yakoub Nemouchi <y.nemouchi@gmail.com>
Subject: [isabelle] [Announcement] Formal Verification of Biological Computers Using Isabelle/HOL

Hello list -

Feel free to check out our formal verifier for dynamical systems with
biological computing as its first application:

https://github.com/NatLabRockies/BdL

The entire development effort has approx 16000 lines of Isabelle spec and
proofs.

Best wishes,
Yakoub.

Last updated: Oct 08 2026 at 21:07 UTC