Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{489730,
author = {Behrmann, Gerd and Larsen, Kim G. and Pelánek, Radek},
address = {Boulder (Colorado, USA)},
booktitle = {Computer Aided Verification (CAV 2003)},
keywords = {explicit model checking; syntax analysis},
language = {eng},
location = {Boulder (Colorado, USA)},
isbn = {3-540-40524-0},
pages = {433-445},
publisher = {Springer-Verlag},
title = {To Store or Not To Store},
year = {2003}
}
TY - JOUR
ID - 489730
AU - Behrmann, Gerd - Larsen, Kim G. - Pelánek, Radek
PY - 2003
TI - To Store or Not To Store
PB - Springer-Verlag
CY - Boulder (Colorado, USA)
SN - 3540405240
KW - explicit model checking
KW - syntax analysis
N2 - To limit the explosion problem encountered during reachability analysis we suggest a variety of techniques for reducing the number of states to be stored during exploration, while maintaining the guarantee of termination and keeping the number of revisits small. The techniques include static analysis methods for component automata in order to determine small sets of covering transitions. We carry out extensive experimental investigation of the techniques within the real-time verification tool Uppaal. Our experimental results are extremely encouraging: a best combination is identified which for a variety of industrial case-studies reduces the space-consumption to less than 10% with only a moderate overhead in time-performance.
ER -
BEHRMANN, Gerd, Kim G. LARSEN a Radek PELÁNEK. To Store or Not To Store. In \textit{Computer Aided Verification (CAV 2003)}. Boulder (Colorado, USA): Springer-Verlag, 2003, s.~433-445. ISBN~3-540-40524-0.
|
