Revision as of 13:30, 22 August 2023 edit Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 444,531 edits ce ← Previous edit		Revision as of 11:15, 19 October 2023 edit undo 45.64.242.157 (talk) →‎Industry use Tags: Mobile edit Mobile web edit Next edit →
Line 510: </ref> Altreonic NV used TLA<sup>+</sup> to [[Model checking\|model check]] [[OpenComRTOS#Formal development approach\|OpenComRTOS]]. ==Examples==

TLA+: Difference between revisions