/l/formalmethods

laarc

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