popular
trending
lists
login
Formal methods
Abstract data types
Automated theorem proving
Logical calculi
Model checking
Models of computation
Formal methods organizations
Formal methods people
Program analysis
Program logic
Program derivation
Formal methods publications
Satisfiability problems
Formal specification
Formal methods terminology
Formal methods tools
Turing machine
Z notation
Formal methods stubs
Kim Guldstrand Larsen
Latest Activity
Latest Events
Davina Michelle and Sebastiaan Brouwer
Engagement - 30th Oct 2026
by missepticeye
Beatrice Holloway and Rory Hinshelwood
Engagement - 27th Oct 2026
by missepticeye
Chrishell Stause and Georgia Flipo
Breakup - 26th Oct 2026
by annika_lb
Gabby Thomas and Spencer McManes
Marriage - 26th Oct 2026
by Redhot79
see more
Follow WDW on Facebook
