4 ms·
As Lamport says: why do we always use blueprints before constructing a building? I agree there are some missing links, but checking your model before doing det
by codemac 9y ago
As Lamport says: why do we always use blueprints before constructing a building?
I agree there are some missing links, but checking your model before doing detailed implementation is a good idea regardless
- unboxed_type 9y agoAbsolutely. Anyway this gap is worth mentioning for deeper understanding of a verification problem.