Achim D. Brucker
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Reposted by Achim D. Brucker
Formalizing neural networks (in Isabelle/HOL). ~ Achim D. Brucker, Amy Stell. www.isa-afp.org/entries/Neur... #ITP #IsabelleHOL #NeuralNetwork
Formalizing Neural Networks
Formalizing Neural Networks in the Archive of Formal Proofs
www.isa-afp.org
November 17, 2025 at 6:43 PM
Formalizing neural networks (in Isabelle/HOL). ~ Achim D. Brucker, Amy Stell. www.isa-afp.org/entries/Neur... #ITP #IsabelleHOL #NeuralNetwork
Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: conf.researchr.org/track/fm-202...
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
FM 2026 - Special Track on TAP (Tests and Proofs) - FM 2026
FM 2026 welcomes a special track for the TAP (Tests and Proofs) conference series.
conf.researchr.org
July 29, 2025 at 9:50 AM
Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: conf.researchr.org/track/fm-202...
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
Reposted by Achim D. Brucker
(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. www.isa-afp.org/entries/Inte... #ITP #IsabelleHOL #Math
(Extended) Interval Analysis
www.isa-afp.org
January 23, 2024 at 7:59 AM
(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. www.isa-afp.org/entries/Inte... #ITP #IsabelleHOL #Math