On Fri, Mar 5, 2010 at 5:21 PM, John Zabroski <[email protected]>wrote: > > On Fri, Mar 5, 2010 at 4:04 PM, Andrey Fedorov <[email protected]>wrote: > >> Are those numbers you derived from the picture alone? If you did, could >> you go through the math? Unless I'm misunderstanding the notation (could you >> link to a rigorous definition?), I see System B having a lot more than 2 >> states. >> >
The high-level idea is that you can make checking correctness or limiting > authority by limiting the state-surface of the program, by design. > Controlling state seems like the right idea. You completely lost me on the rest of your e-mail.
_______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
