Back to Results
First PageMeta Content
Z notation / Axiom / Mathematical proof / S / Proof theory / Mathematics / Mathematical logic / Logic


Auditing User-provided Axioms in Software Verification Conditions Paul Jackson1 , Florian Schanda2 and Angela Wallenburg2 1. University of Edinburgh 2. Altran UK (Praxis)
Add to Reading List

Document Date: 2013-10-01 08:32:13

Open Document

File Size: 135,71 KB

Share Result on Facebook

Facility

Station I Commissioned / University of Edinburgh / SPARK I Library / /

IndustryTerm

software verification / /

Organization

University of Edinburgh / /

ProgrammingLanguage

Java / Ada / /

Technology

Java / /

SocialTag