PlusCal

#	Item
1	A PlusCal User’s Manual C-Syntax∗ Version 1.8 Leslie Lamport 11 February 2013 ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-02-11 16:05:06 Type theory Theoretical computer science Algorithms Formal methods Type systems PlusCal Algorithm Programming language Hindley–Milner Software engineering Computing Computer programming
2	Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have b Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-24 08:52:42 Mathematics Formal methods Model checking Software bug Correctness PlusCal Algorithm Communications protocol Computer programming Theoretical computer science Computing Applied mathematics
3	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-31 20:52:37 Sorting algorithms Algorithm Mathematical logic Theoretical computer science PlusCal Quicksort Programming language Pseudocode Euclidean algorithm Computer programming Software engineering Computing