Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Specification language / Z notation / Computer security / Formal specification / Specification / HOL / Functional specification / Software development / Formal methods / Computing


Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed]
Add to Reading List

Document Date: 2004-04-12 08:34:15

Open Document

File Size: 212,32 KB

Share Result on Facebook

City

Berks / London / /

Company

Critical Properties Roger Bishop Jones International Computers Limited / /

Country

United Kingdom / /

/

Facility

University of Cambridge / /

IndustryTerm

proof support tool / technology research / flight control software / prototype tool / assurance secure systems / secure systems / proof support tools / assurance systems / Non-deterministic systems / deterministic systems / proof tool / nondeterministic systems / /

Organization

University of Cambridge / /

Person

Jeremy Jacob / Mike Gordon / Rob Arthan / /

/

Position

editor / text editor / /

ProgrammingLanguage

ML / Z notation / /

Technology

dom / /

SocialTag