1
2
3
by Renaud, Adrien
Published 2014
“... are presented and it discusses obstacles to verification, how they have been addressed...”
Get full text
Get full text
4
by Yoshida, Nobuko.
Published 2021
Format:
Table of Contents: “... specifications. -- 8.2 Experimental evaluation. -- 8.3 Prior verification efforts. -- 8.4 Evaluation: benefits...”
Click to View
5
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: “... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...”
Click to View