Pinboard (mpm)
https://pinboard.in/u:mpm/public/
recent bookmarks from mpm
-
Learn TLA+
2022-07-02T16:04:04+00:00
https://www.learntla.com/
mpm
tla+ formal-methods systems-architecture
https://pinboard.in/u:mpm/b:0f12b3f507fa/
-
tlaplus_jupyter
2020-01-03T15:20:03+00:00
https://github.com/kelvich/tlaplus_jupyter
mpm
tla+ formal-methods
https://pinboard.in/u:mpm/b:a5751ea68537/
-
Tecton Project
2019-09-23T15:32:47+00:00
http://www.cs.rpi.edu/~musser/Tecton/
mpm
formal-methods
https://pinboard.in/u:mpm/b:c3b495a6c2be/
-
Alloy
2018-01-29T19:50:23+00:00
http://alloy.mit.edu/alloy/
mpm
design constraints formal-methods
https://pinboard.in/u:mpm/b:e64c353f3e17/
-
Use of Formal Methods at Amazon Web Services
2014-07-14T16:56:58+00:00
http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf
mpm
formal-methods
https://pinboard.in/
https://pinboard.in/u:mpm/b:f317eeaf570a/