4 ms·
Amy pointers to documentation that's approachable by beginners?
by gtirloni 8y ago
Amy pointers to documentation that's approachable by beginners?
- agentultra 8y agohttps://www.youtube.com/watch?v=hhGnMbw98u8 https://www.youtube.com/watch?v=hhGnMbw98u8 https://www.youtube.com/watch?v=tfnldxWlOhM https://www.youtube.com/watch?v=tfnldxWlOhM https://www.youtube.com/watch?v=HnOix9TFy1A https://www.youtube.com/watch?v=HnOix9TFy1A https://pron.github.io/posts/tlaplus-curryon-talk https://pron.github.io/posts/tlaplus-curryon-talk https://learntla.com/introduction/ https://learntla.com/introduction/ https://leanprover.github.io/theorem_proving_in_lean/ https://leanprover.github.io/theorem_proving_in_lean/ https://rise4fun.com/dafny https://rise4fun.com/dafny
- nickpsecurity 8y agoCheck out the Alloy model checker. Simple with GUI, too. One guy I know says he just uses it like SQL. Hillel Wayne just published Practical TLA+. It helps with concurrency and distributed systems. There's the book on SPARK Ada which lets you do system code that's provably safe. Finally, the easiest method to use in any language is Design-by-Contract. https://www.betterworldbooks.com/product/detail/Practical-TLA---Planning-Driven-Development-9781484238288 https://www.betterworldbooks.com/product/detail/Practical-TL... https://www.betterworldbooks.com/product/detail/Building-High-Integrity-Applications-with-SPARK-9781107656840 https://www.betterworldbooks.com/product/detail/Building-Hig... https://hillelwayne.com/post/pbt-contracts/ https://hillelwayne.com/post/pbt-contracts/
- agentultra 8y agoI recently started using Alloy for small models. Great for searching for constraints and state machines.