Name: Using Formal Modeling To Prevent Bugs With The Talking Cure
Start: 2025-11-12T18:00:00-05:00
End: 2025-11-12T20:00:00-05:00
Location: Clarity Voice

We'll watch Jay Parlar's talk "Finding Bugs Without Running or Even Looking at Code" from Strange Loop 2018. Then we'll have some time to discuss the ideas that he presents in this talk and how we can use them to improve our own software creation.

Onorio

Mike Onslow

Detroit Tech Watch

Technology

Open Source

Web Design

Software Development

Web Technology

Programming Languages

Web Development

Functional Programming

Computer Programming

Using Formal Modeling To Prevent Bugs With The Talking Cure 

Clarity Voice

Share

Detroit Tech Watch

Using Formal Modeling To Prevent Bugs With The Talking Cure

Detroit Tech Watch

Details

Members are also interested in