3 ms·

Many thanks for that. Very thought provoking. > through expansion "horseback formal methods" I haven’t heard this terminology before. Any references you can r

Many thanks for that. Very thought provoking. > through expansion "horseback formal methods" I haven’t heard this terminology before. Any references you can recommend to learn more?

tel 6y ago
Here "horseback" is a term I'm using to mean "applied in the field, cutting corners as needed to make things valuable now". I'm not sure exactly where I picked it up, but I like the idea.