lynx   »   [go: up one dir, main page]

Blog articles tagged 'tla+'

0
comment
on 8/1/2014 7:30 AM
That’s the title of my presentation at Dog Food Conference 2014, 29-30 September, in Columbus, Ohio. If you found my post on "Test-Only Development" with the Z3 Theorem Prover was interesting, then you’ll love this. What if simply writing "unit tests" was[...]
.
0
comment
on 6/30/2014 11:44 AM
This is the fifth post of my notes from Emerging Languages Camp last year. If you haven’t seen it already, you might want to read the Introduction to this series. Axiomatic Language Walter Wilson Homepage · Slides · Presentation One of the ways that you c[...]
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper
Лучший частный хостинг