- Verifying Whiley Programs with Boogie

Simple Boogie program encoding an implementation of the function, making extensive use of the structured syntax provided in later versions of Boogie

Go to figure page

Reference

Verifying Whiley Programs with Boogie - Scientific Figure on ResearchGate. Available from: https://www.researchgate.net/figure/Simple-Boogie-program-encoding-an-implementation-of-the-function-making-extensive-use-of_fig2_359365935 [accessed 26 Mar 2025]

Caption

Simple Boogie program encoding an implementation of the function, making extensive use of the structured syntax provided in later versions of Boogie

Embed code

<a href="https://www.researchgate.net/figure/Simple-Boogie-program-encoding-an-implementation-of-the-function-making-extensive-use-of_fig2_359365935"><img src="https://www.researchgate.net/publication/359365935/figure/fig2/AS:11431281095019477@1667703841039/Simple-Boogie-program-encoding-an-implementation-of-the-function-making-extensive-use-of.png" alt="Simple Boogie program encoding an implementation of the function, making extensive use of the structured syntax provided in later versions of Boogie"/></a>