Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{405435,
author = {Crhová, Jitka and Krčál, Pavel and Strejček, Jan and Šafránek, David and Šimeček, Pavel},
address = {Brno},
booktitle = {Proceedings of Tools Day},
keywords = {formal verification},
language = {eng},
location = {Brno},
pages = {99-103},
publisher = {FI MU},
title = {YAHODA: verification tools database},
url = {http://www.fi.muni.cz/informatics/reports},
year = {2002}
}
TY - JOUR
ID - 405435
AU - Crhová, Jitka - Krčál, Pavel - Strejček, Jan - Šafránek, David - Šimeček, Pavel
PY - 2002
TI - YAHODA: verification tools database
PB - FI MU
CY - Brno
KW - formal verification
UR - http://www.fi.muni.cz/informatics/reports
N2 - We present a web server YAHODA, which is designed to provide unified information about currently available verification tools. The server software allows the tools developers to insert and maintain the information about their tools by their own. In the paper we describe the organization of the database, its main features, and the maintenance of the repository.
ER -
CRHOVÁ, Jitka, Pavel KRČÁL, Jan STREJČEK, David ŠAFRÁNEK a Pavel ŠIMEČEK. YAHODA: verification tools database. In \textit{Proceedings of Tools Day}. Brno: FI MU. s.~99-103. 2002.
|
