Access Restriction

Author Rath, Tim ♦ Newcombe, Chris ♦ Munteanu, Bogdan ♦ Deardeuff, Michael ♦ Zhang, Fan ♦ Brooker, Marc
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract Engineers use TLA+ to prevent serious but subtle bugs from reaching production.
Description Affiliation:, Seattle, WA (Rath, Tim; Munteanu, Bogdan; Brooker, Marc; Deardeuff, Michael) || Cyanogen, Seattle, WA (Zhang, Fan) || Oracle, Seattle, WA (Newcombe, Chris)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 58
Issue Number 4
Page Count 8
Starting Page 66
Ending Page 73

Open content in new tab

   Open content in new tab
Source: ACM Digital Library