[vox] [fwd SacLUG] October meeting on Formal methods using Spark/Ada

[Bill Kendrick]

----- Forwarded message from "Brian E. Lavender" <brian at brie.com> -----

Date: Sun, 19 Oct 2025 14:31:45 -0700
From: "Brian E. Lavender" <brian at brie.com>
Subject: [Lug-nuts] October meeting on Formal methods using Spark/Ada
To: Lug Nuts <lug-nuts at bigbrie.com>

Formal Methods and Program Correctness
When: Tue October 21, 2025 06:00 PM to 08:00 PM
Speaker: Brian E. Lavender

Location: Bel Air #502 S.E.G.R.
4320 Arden Way
Sacramento, CA 95864

We will talk about the use of SPARK/Ada to verify program correctness using automated tools. 

-- 
Brian Lavender
https://www.brie.com/brian/

"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."

Professor C. A. R. Hoare
The 1980 Turing award lecture

----- End forwarded message -----