Back to Results
First PageMeta Content
Applied mathematics / Mathematics / Program logic / Model theory / Hoare logic / Syntactic predicate / Formal verification / Programming language / Semantics of programming languages / Theoretical computer science / Formal methods / Logic in computer science


A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX
Add to Reading List

Document Date: 2008-07-11 10:38:35

Open Document

File Size: 114,99 KB

Share Result on Facebook

City

Amsterdam / /

Company

R.D. Arthan Lemma 1 Ltd. / ACM Press / Hybrid Systems / Lemma 1 Ltd. / 2nd Floor / /

/

Event

Labor Issues / /

Facility

Hall International / /

IndustryTerm

proof infrastructure / continuous-time control systems / generation algorithm / resource management / less familiar applications / Potential applications / formal methods tools / continuous systems / build sound tools / possible solution / Permission accounting / /

Position

editor / /

ProgrammingLanguage

Ada / C / Standard ML / Z notation / /

PublishedMedium

Theoretical Computer Science / /

Technology

dom / flow control / VC generation algorithm / /

URL

http /

SocialTag