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, 2002, s.~99-103.
|