Re: Formal description of system call interface

On Mon, Nov 21, 2016 at 7:14 AM, Dmitry Vyukov wrote: > > > Re more complex side effects. I always feared that a description suitable > for automatic verification (i.e. zero false positives, otherwise it is > useless) > may be too difficult to achieve. > > Cyril, Tavis, can

Re: Formal description of system call interface

On Mon, Nov 21, 2016 at 7:14 AM, Dmitry Vyukov wrote: > > > Re more complex side effects. I always feared that a description suitable > for automatic verification (i.e. zero false positives, otherwise it is > useless) > may be too difficult to achieve. > > Cyril, Tavis, can you come up with some