Ověření pomocí počítače - Computer Aided Verification
Ověření pomocí počítače (CAV) je roční akademická konference o teorii a praxi počítačové podpory formální analýzy softwarových a hardwarových systémů. Je to jedna z nejlépe hodnocených konferencí v počítačové vědě.[1][2] Například několik důležitých kontrola modelu techniky byly publikovány v CAV, jako např Zdokonalení abstrakce vedené protikladem[3] a částečné snížení objednávky metody.[4][5]
První CAV se konala v roce 1989 v Grenoble, Francie.
Sborníky CAV zveřejňuje Springer Science + Business Media tak jako otevřený přístup.
Viz také
- The seznam konferencí o informatice obsahuje další akademické konference v informatice.
Reference
- ^ „Ranked Conference List (2010)“. Australská rada pro výzkum. Archivovány od originál dne 27. února 2012. Citováno 3. ledna 2012.
- ^ „Nejlepší konference v softwarovém inženýrství“. Microsoft Academic Search. Archivovány od originál dne 29. června 2013. Citováno 3. ledna 2012.
- ^ Clarke, Edmund M .; et al. (2000). Zdokonalení abstrakce vedené protikladem. CAV. Přednášky z informatiky. 1855. str. 154–169. doi:10.1007/10722167_15. ISBN 978-3-540-67770-3.
- ^ Valmari, Antti (1990). Tvrdohlavý útok na výbuch státu. CAV. Přednášky z informatiky. 531. str. 156–165. doi:10.1007 / BFb0023729. ISBN 978-3-540-54477-7.
- ^ Godefroid, Patrice (1990). Použití částečných objednávek ke zlepšení metod automatického ověřování. CAV. Přednášky z informatiky. 531. 176–185. doi:10.1007 / BFb0023731. ISBN 978-3-540-54477-7.
externí odkazy
 | Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
| Tento článek o počítačové konferenci je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |