barries

4 ms·

1. 1.▲
   by barries 12y ago

   There are several issues with relying solely on feature tests. Feature tests often need to span large parts of an application, so there is a often significant amount of overhead (both code and test-time) in repeating identical-except-for-on
2. 2.▲
   by barries 13y ago

   See also Frama-C ( http://frama-c.com/ ), which can use multiple automated and interactive theorem provers. It's really a proof obligation management IDE that you can use with multiple provers / proof assistants.
3. 3.▲
   by barries 13y ago

   It's not feasible for large programs in any generally used language, especially imperative ones. This is because most languages have undefined constructs and constructs that are so flexible that proving useful things about them is hard
4. 4.▲
   by barries 13y ago

   Can't upvote enough because this is the single most troubling aspect of our (US) justice system today: as soon as you are charged, your quality of life is ruined unless you are both wealthy and lucky enough to avoid pretrial incarcerat