On Thu, Oct 11, 2018 at 1:40 PM Kiwamu Okabe <kiw...@debian.or.jp> wrote: > A. Symbolic execution such like https://github.com/verifast/verifast IDE, > because we can watch execution sequence on the IDE. > See the following Steps pane on figure 1 at page 4. > https://people.cs.kuleuven.be/~bart.jacobs/verifast/tutorial.pdf
Also VeriFast can show tree of execution at right pane of IDE! https://www.flickr.com/photos/masterq/36292655852/ -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dnOuzvQHcGsn5xOHiwgC9NTxb%3DMgN8rn5soG%3DLAgHsx_Q%40mail.gmail.com.
