Support for golang
33 views
Skip to first unread message
Zhenying Li
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?
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