Model checking the Java meta-locking algorithm

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2000, Pages 342-350

  Basu, Samik ^a   Smolka, Scott A ^a   Ward, Orson R ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DATA STRUCTURES; INTERNET; JAVA PROGRAMMING LANGUAGE; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

META LOCKING ALGORITHM; MODEL CHECKING;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (11)