Verifying temporal properties of finite-state probabilistic programs

Annual Symposium on Foundations of Computer Science (Proceedings)

Volumn , Issue , 1988, Pages 338-345

  Courcoubetis, Costas ^a   Yannakakis, Mihalis ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--FINITE AUTOMATA; COMPUTER PROGRAMMING--ALGORITHMS;

CONCURRENT PROGRAMS; FINITE-STATE PROBABILISTIC PROGRAMS; OMEGA AUTOMATA; PROGRAM LOGICS; TEMPORAL LOGIC;

COMPUTER METATHEORY;

EID: 0024138133     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/sfcs.1988.21950     Document Type: Conference Paper

References (26)