Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs.
Soumyadip BandyopadhyayDipankar SarkarChittaranjan A. MandalPublished in: ICSE (2) (2015)
Keyphrases
- prior knowledge
- linear regression
- highly efficient
- detection method
- computationally efficient
- preprocessing
- experimental evaluation
- classification method
- linear model
- neural network
- optimization method
- synthetic data
- model selection
- probabilistic model
- significant improvement
- computational complexity
- parameter estimation
- clustering method
- maximum likelihood
- rough sets
- machine learning methods
- computational cost
- dynamic programming
- prediction model
- monte carlo simulation