Back to Results
First PageMeta Content
Formal methods / Functions and mappings / Formal sciences / Mathematical logic / Formal verification / Control theory / KeY / Integral / Function / Mathematics / Applied mathematics / Theoretical computer science


THE USE OF A FORMAL SIMULATOR TO VERIFY A SIMPLE REAL TIME CONTROL PROGRAM Robert S. Boyer Milton W. Green J Strother Moore
Add to Reading List

Document Date: 2000-04-02 13:39:01

Open Document

File Size: 22,81 KB

Share Result on Facebook

City

Alexandria / Minneapolis / Austin / /

Company

SRI International / Computer Sciences / Computer Science Laboratory / Computational Logic Inc. / /

Currency

BRL / /

Facility

Computer Science Laboratory / University of Texas / /

IndustryTerm

signal select algorithm / software majority voting / program verification technology / mechanical program verification systems / real time control / /

Organization

National Science Foundation / National Aeronautics and Space Administration / University of Texas / /

Person

Milton W. Green / Earl Boebert / Robert S. Boyer Milton / /

/

Position

designer / /

ProgrammingLanguage

FORTRAN 66 / FORTRAN / J / /

ProvinceOrState

Texas / Minnesota / California / /

Technology

signal select algorithm / existing program verification technology / simulation / operating systems / /

SocialTag