Weryfikacja wspomagana komputerowo
W informatyce Międzynarodowa Konferencja Weryfikacji Wspomaganej Komputerowo ( CAV ) to coroczna konferencja naukowa poświęcona teorii i praktyce wspomaganej komputerowo analizy formalnej systemów oprogramowania i sprzętu , szeroko znanej jako metody formalne . Jest to jedna z najwyżej ocenianych konferencji w dziedzinie informatyki. Wśród ważnych wyników pierwotnie opublikowanych w CAV znajdują się przełomowe techniki sprawdzania modeli , takie jak Counterexample-Guided Abstraction Refinement (CEGAR) i częściowa redukcja rzędów .
Pierwszy CAV odbył się w 1989 roku w Grenoble we Francji . Postępowania CAV (1989-obecnie) są publikowane przez Springer Science+Business Media i są ogólnodostępne .
Zobacz też
- Lista konferencji informatycznych
- Sympozjum na temat logiki w informatyce
- Europejskie wspólne konferencje na temat teorii i praktyki oprogramowania
Linki zewnętrzne
| Ogólny | |
|---|---|
| Biblioteki Narodowe | |