Pragmatic Formal Modeling (Tutorial series with runnable examples)

Show HN: Pragmatic Formal Modeling (Tutorial series with runnable examples)

Pragmatic Formal Modeling (Tutorial series with runnable examples) is active in the show hn launch space.

Profile

Formal modeling is a mathematical approach for designing and checking correctness of software systems. It focuses on standard software engineering and distributed systems problems of the sort programmers face every day. It takes a pragmatic engineering approach: each problem starts with UML diagrams, design decisions and sometimes even a requirements document. We work through how to get from a whiteboard design to an initial mathematical model. Then we refine it based on logical errors found by the model checker, which return with a level of detail unheard of in a standard debugger. Formal modeling is a skill every engineer should have in their toolbox.All the examples are downloadable, and

Its activity falls under show hn launch; the profile below is assembled from public directory data.

Directory data places it at the Show HN launch stage.

Website: elliotswart.github.io/pragmaticformalmodeling