It compiles to multiple targets (C#, Java, Go, Python, JavaScript) and embeds a specification sublanguage directly in the source syntax. The verification engine generates verification conditions (VCs) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results