Back to Results
First PageMeta Content
Hardware verification languages / Assertion / Debugging / Logic in computer science / Tesla Roadster / Clang / Rust / C / E / Software engineering / Computing / Computer programming


TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks Davis
Add to Reading List

Document Date: 2014-04-15 11:46:35

Open Document

File Size: 365,32 KB

Share Result on Facebook

City

Clang / Amsterdam / /

Company

MySQL / Google / Intel / /

Country

Netherlands / /

Currency

USD / /

/

Event

Product Issues / /

Facility

library API / University of Cambridge firstname.lastname@cl.cam.ac.uk Abstract Large / CPUSET facility / /

IndustryTerm

regression test infrastructure / conventional tools / systems / call site / validation tool / dynamic development tools / generic tool / malicious s_server / software libraries / 2D graphics systems / Low-level software / exercise tools / assertion site / /

MarketIndex

OLTP / /

OperatingSystem

UNIX / FreeBSD / Mac OS X / GNUstep / POSIX / /

Organization

University of Cambridge firstname.lastname@cl.cam.ac.uk Abstract Large / /

Person

Jonathan Anderson Robert / Ilias Marinos Brooks Davis / David Chisnall Khilan Gudka Ilias / /

/

Position

author / event translator / vp / translator / variable vp / vp equal / automaton model / the programmer / appropriate event translator / EVP / Symbol MF MS MP / programmer / /

Product

TESLA / OpenSSL / key - exchange signature / /

ProgrammingLanguage

L / Objective-C / PostScript / HTML / C++ / /

Technology

flow control / API / operating system / HTML / SSL / operating systems / GUI / /

URL

http /

SocialTag