Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{727675,
author = {Pelánek, Radek},
address = {Německo},
booktitle = {Model Checking Software},
keywords = {model checking benchmarks},
language = {eng},
location = {Německo},
isbn = {3-540-73369-8},
pages = {263-267},
publisher = {Springer},
title = {BEEM: Benchmarks for Explicit Model Checkers},
url = {http://anna.fi.muni.cz/models},
year = {2007}
}
TY - JOUR
ID - 727675
AU - Pelánek, Radek
PY - 2007
TI - BEEM: Benchmarks for Explicit Model Checkers
PB - Springer
CY - Německo
SN - 3540733698
KW - model checking benchmarks
UR - http://anna.fi.muni.cz/models
N2 - We present BEEM - BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their correctness properties (both safety and liveness). The benchmark set is accompanied by an comprehensive web portal, which provides detailed information about all models. The web portal also includes information about state spaces and facilities for selection of models for experiments. The address of the web portal is http://anna.fi.muni.cz/models.
ER -
PELÁNEK, Radek. BEEM: Benchmarks for Explicit Model Checkers. In \textit{Model Checking Software}. Německo: Springer. s.~263-267. ISBN~3-540-73369-8. 2007.
|
