|
|
1. | | Modelling Rolling Deployments in Alloy (scriptcrafty.com) | | 5 points by davidk01 to alloy programming formalmethods on Feb 11, 2019 | discuss | |
2. | | Validating a Coordination Protocol with Alloy (cloudbootup.com) | | 4 points by davidk01 to alloy formalmethods programming on Feb 21, 2019 | discuss | |
3. | | State Machines and Alloy (aqute.biz) | | 4 points by davidk01 to programming alloy formalmethods on Feb 10, 2019 | discuss | |
4. | | Building A "Simple" Distributed System - Formal Verification (jack-vanlightly.com) | | 4 points by graygnome to formalmethods compsci programming on Jan 29, 2019 | discuss | |
5. | | Why Don't People Use Formal Methods? (hillelwayne.com) | | 4 points by akkartik to programming formalmethods on Jan 22, 2019 | discuss | |
6. | | A Bridge too Far: E.W. Dijkstra and Logic (vanemden.wordpress.com) | | 3 points by akkartik to programming formalmethods historical on Jan 20, 2019 | discuss | |
7. | | What, Why, and How of Formal Methods (cloudbootup.com) | | 2 points by davidk01 to formalmethods programming on March 15, 2019 | discuss | |
8. | | A Survey of Symbolic Execution Techniques (2018) (arxiv.org) | | 2 points by nickpsecurity to programming security formalmethods compsci on Feb 27, 2019 | 1 comment | |
9. | | Tell laarc: Formal Methods Meetup Group (San Francisco, CA) (meetu.ps) | | 2 points by davidk01 to software formalmethods sanfrancisco bayarea sv on Feb 18, 2019 | discuss | |
10. | | Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5 (cmu.edu) | | 2 points by nickpsecurity to hardware formalmethods on Feb 17, 2019 | 1 comment | |
11. | | Visualizing Information Flow through C Programs (2010) (gilith.com) | | by nickpsecurity to pdf slides c security formalmethods visualization on March 6, 2019 | discuss | |
12. | | Encryption Key Hierarchies in Alloy (cloudbootup.com) | | by davidk01 to formalmethods alloy on Feb 9, 2019 | discuss | |
|

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | API | Contact | Twitter | Lists
RSS (stories) | RSS (comments)
|