VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs von Cao, Qinxiang, Beringer, Lennart, Gruetter, Samuel, Dodds, Josiah, Appel, Andrew W.

Volltext

Omnisemantics: Smooth Handling of Nondeterminism von Charguéraud, Arthur, Chlipala, Adam, Erbsen, Andres, Gruetter, Samuel

Volltext

Live Verification in an Interactive Proof Assistant von Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

Volltext

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) von Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andy, Chlipala, Adam

Volltext

Foundational Integration Verification of a Cryptographic Server von Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

Volltext

VST-Flow: Fine-grained low-level reasoning about real-world C code von Gruetter, Samuel, Murray, Toby

Volltext bestellen

Flexible Instruction-Set Semantics via Type Classes von Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andrew, Chlipala, Adam

Volltext bestellen

VST-Flow: Fine-grained low-level reasoning about real-world C code von Gruetter, Samuel, Murray, Toby

Volltext

Flexible Instruction-Set Semantics via Type Classes von Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andrew, Chlipala, Adam

Volltext

South African seismicity, April 1997 to April 1999, and regional variations in the crust and uppermost mantle of the Kaapvaal craton von Wright, C, Kgaswane, E.M, Kwadiba, M.T.O, Simon, R.E, Nguuri, T.K, McRae-Samuel, R

Volltext