On Thu, May 9, 2024 at 9:17 AM Thomas Passin <tbp100...@gmail.com> wrote:
> I always thought that formal verification (FV) of programs would be too > hard and error prone beyond simple programs. Apparently I was wrong about > that, and one reason is that FV should be applied above the program level - > e.g., to algorithms. Thanks for the link :-) Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS3K33g5vsN_%2B9-ZbotnGsM_OYGzTOc9Dh7YDf%3DNwm0zKQ%40mail.gmail.com.