AUTOMATIC VERIFICATION OF PROBABILISTIC CONCURRENT FINITE-STATE PROGRAMS.

Annual Symposium on Foundations of Computer Science (Proceedings)

Volumn , Issue , 1985, Pages 327-338

  Vardi, Moshe Y ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - APPLICATIONS;

AUTOMATIC VERIFICATION; PROBABILISTIC CONCURRENT FINITE-STATE PROGRAMS; SOFTWARE VERIFICATION;

COMPUTER SOFTWARE;

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

References (50)