Sciweavers

2 search results - page 1 / 1
» Partial Parsing from Bitext Projections
Sort
View
SIGSOFT
2003
ACM
14 years 5 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...