Verification Prototype of Satellite Position System

LI Yi-ge; SONG Guo-xin~*

LI Yi-ge, SONG Guo-xin~*. Verification Prototype of Satellite Position System[J]. Journal of East China University of Science and Technology, 2004, (1): 74-77.

Citation:

LI Yi-ge, SONG Guo-xin~*. Verification Prototype of Satellite Position System[J]. Journal of East China University of Science and Technology, 2004, (1): 74-77.

Citation:

LI Yi-ge, SONG Guo-xin~*. Verification Prototype of Satellite Position System[J]. Journal of East China University of Science and Technology, 2004, (1): 74-77.

Verification Prototype of Satellite Position System

Graphical Abstract

Graphical Abstract

Abstract

Abstract

There are two main methods for verifying embedded systems. One is theorem proving, the other is model checking. We try to apply model checking to verify the satellite position system.

FullText(HTML)

References (0)

Cited By

Verification Prototype of Satellite Position System

Graphical Abstract

Abstract

Catalog

Export File

Citation

Format

Content