Back to Results
First PageMeta Content
Automated theorem proving / Lisp programming language / Mathematical logic / Randomness / Prototype Verification System / IP / Proof assistant / Dependent type / Common Lisp / Computing / Software engineering / Logic


Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed]
Add to Reading List

Document Date: 2006-08-26 05:21:12

Open Document

File Size: 121,22 KB

Share Result on Facebook

City

Beijing / Montreal / Hampton / Menlo Park / /

Company

SRI International / Computer Science Laboratory / /

Country

Canada / China / United States / /

/

Facility

National Institute / /

IndustryTerm

similar systems / lightweight tool / /

Organization

National Institute / IEEE Computer Society / Association for Computing Machinery / /

Person

Tobias Nipkow / Sam Owre / Cesar Munoz / Judy Crow / John Rushby / N. Shankar / Dave StringerCalvert / Stefan Berghofer / Makoto Takeyama / Peter Dybjer / John Hughes / Koen Claessen / Qiao Haiyan / /

Position

evaluator / abstractor / ground evaluator / abstractor / and HTML generator / prover and ground evaluator / /

ProgrammingLanguage

Haskell / Lisp / Common Lisp / HTML / /

ProvinceOrState

Virginia / California / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Functional Programming / HTML / /

URL

http /

SocialTag