Formal verification technique for embedded software

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 1996, Pages 352-357

  Thiry, Olivier ^a   Claesen, Luc ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FINITE AUTOMATA; FLOWCHARTING; FORMAL LOGIC; MICROPROCESSOR CHIPS;

EMBEDDED SOFTWARE; TEMPORAL LOGIC;

COMPUTER SOFTWARE;

EID: 0030400608     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)