andymaule

5 ms·

1. 1.▲
   by andymaule 9y ago

   Nice to see interest in this here. Program slicing can also be used for everyday tools too, not just formal verification. I did some research with Microsoft Research trying to show how it can be used to discover which parts of program will
2. 2.▲
   by andymaule 12y ago

   Thanks Alex! Would you be willing to pay a monthly fee for a service like this? Assuming you found the UI good enough, and we could show you high reliability in existing apps?
3. 3.▲
   Ask HN: Want to change in-app notifications without re-submitting?

   1 points by andymaule 12y ago|2 comments