A quote from Thesis of Mark Reitblatt ( April 30, 2009)
"Jeff Kodosky, inventor of LabVIEW, has had a longstanding interest in
integrating formal verification into the LabVIEW development environment."
The idea was also presented in "Verifying LabVIEW Graphical Programs with ACL2" (Nov 2008,
mentioned in (LabVIEW-Idea-Exchange topic "Mathematical description of the G-language")
and "Formal verification of LabVIEW programs using the ACL2 Theorem Prover" (Jan 2009).
About 14 years passed since then. Was the formal verification implemented, of forgotten?
Let me know if anyone has an info on this topic. Thanks in advance.
