| From: Sam Tobin-Hochstadt (samth at ccs.neu.edu) Date: Mon Oct 4 12:09:40 EDT 2010 |
|
On Mon, Oct 4, 2010 at 12:02 PM, Stephen Bloch <sbloch at adelphi.edu> wrote: > I don't know how much progress has been made on loop-checkers that "work well enough in practice." I think the most practical work here is Microsoft's Terminator project: https://research.microsoft.com/en-us/um/cambridge/projects/terminator/ which is used for device drivers. -- sam th samth at ccs.neu.edu
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}