Support for golang

33 views
Skip to first unread message

Zhenying Li

unread,
Nov 3, 2020, 10:15:32 PM11/3/20
to VeriFast
Hello everyone,

Does verifast have plans to support golang?  I am looking for a formal verification for golang, but not found. Verifast supports C and Java, so I guess part of it must be language-independent. What do I need to do if I want to support golang?

Best Wishes,
Zhenying
Reply all
Reply to author
Forward
0 new messages