@lobsters Verifying (simple) C in Isabelle/HOL with AutoCorres #Programming #FormalMethods #SoftwareEngineering
@lobsters The changing role of finite-state model checking #ComputerScience #FormalMethods #SoftwareEngineering
@lobsters Foundational Verification of Running-Time Bounds for Interactive Programs #FormalMethods #ComputerScience #Research
@lobsters Palomar - a registry of Lean verified mathematics #Math #FormalMethods #Science
@lobsters Improving system safety with Temporal Logic of Actions (TLA+) #SoftwareEngineering #FormalMethods #Programming
@hackernews Why Don't People Use Formal Methods? #HackerNews #Tech #FormalMethods
@lobsters Formal methods with Hillel Wayne #SoftwareDevelopment #FormalMethods #Tech
@lobsters Why Rocq is better than Lean for program verification #Programming #FormalMethods #Compilers
@lobsters Fast DEFLATE compression in Lean #FormalMethods #Performance #Programming
@lobsters Xavier Leroy on programming, languages and formal verification #Programming #FormalMethods #ComputerScience
@lobsters Extending MVCC to be serializable, in TLA+ (2024) #Databases #FormalMethods #TLAplus
@lobsters Proving the Fundamental Theorem of Arithmetic in Agda #Agda #FormalMethods #Math
@hackernews You Don't Know Jack About Formal Verification #HackerNews #Tech #FormalMethods
@lobsters Formal methods and the future of programming #Programming #FormalMethods #SoftwareEngineering
@lobsters EC2's formally verified "isolation engine" provides mathematical assurance of virtual-machine isolation #Security #CloudComputing #FormalMethods
@jane_street Formal methods and the future of programming #Programming #FormalMethods #Tech
@lobsters Who Builds a House Without Drawing Blueprints? (2015) #SoftwareEngineering #Architecture #FormalMethods
@lobsters On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications #Testing #SoftwareEngineering #FormalMethods
@lobsters Illegal vs Unwanted States #Programming #SoftwareEngineering #FormalMethods
@lobsters "Why not just use Lean?" #FormalMethods #Programming #SoftwareEngineering
@lobsters LemmaScript: A Verification Toolchain for TypeScript via Dafny #TypeScript #Programming #FormalMethods
@lobsters Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean #Security #Rust #FormalMethods
@lobsters Lean proved this program was correct; then I found a bug #security #formalmethods #plt
@lobsters Giving LLMs a Formal Reasoning Engine for Code Analysis #formalmethods #vibecoding
@hillel_wayne Composing TLA+ Specifications with State Machines #SoftwareEngineering #Programming #FormalMethods
@hillel_wayne Don't let Alloy facts make your specs a fiction #SoftwareEngineering #FormalMethods #ComputerScience