Back to Results
First PageMeta Content
Oxford University Computing Laboratory / Z notation / Eves / First-order logic / Zermelo–Fraenkel set theory / Formal specification / Metalogic / Theorem prover / Mathematical logic / Formal methods / Logic


Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones
Add to Reading List

Document Date: 2013-10-30 13:20:29

Open Document

File Size: 776,32 KB

Share Result on Facebook

Facility

Computing Science Newcastle University / Newcastle University / /

OperatingSystem

Pilot / POSIX / /

Organization

Newcastle University / Prof Cliff Jones School / /

Person

Andrius Velykis / /

ProgrammingLanguage

LaTeX / Z notation / /

Technology

API / /

SocialTag