Using shape analysis to reduce finite-state models of concurrent Java programs.

James C. Corbett

Published in: ACM Trans. Softw. Eng. Methodol. (2000)

Keyphrases

shape analysis
finite state
java programs
markov decision processes
markov chain
probabilistic model
multi threaded
shape representation
open source
medical imaging
image analysis and pattern recognition
artificial intelligence
finite state transducers
model checking
optimal policy
object oriented
computer vision