CAV
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Computer Aided Verification (CAV)

(brand of TEST)

1 × Austria
1 × Belgium
2 × Canada
2 × Denmark
2 × France
1 × Germany
1 × Greece
1 × Israel
1 × Italy
1 × Russia
12 × USA
2 × United Kingdom
334 ×#verification
226 ×#model checking
182 ×#named
110 ×#using
97 ×#analysis
83 ×#performance
81 ×#automation
76 ×#abstraction
74 ×#automaton
71 ×#source code

Vocabulary: 1660 words

Event series page: http://i-cav.org

1570 papers in 30 issues:

2019
CAVProceedings of the 30st International Conference on Computer Aided Verification, Part I (CAV (1) 2019)
CAVProceedings of the 30st International Conference on Computer Aided Verification, Part II (CAV (2) 2019)
2018
CAVProceedings of the 30th International Conference on Computer Aided Verification, Part I (CAV (1) 2018)
CAVProceedings of the 30th International Conference on Computer Aided Verification, Part II (CAV (2) 2018)
2017
CAVProceedings of the 29th International Conference on Computer Aided Verification, Part I (CAV (1) 2017)
CAVProceedings of the 28th International Conference on Computer Aided Verification, Part II (CAV (2) 2017)
2016
CAVProceedings of the 28th International Conference on Computer Aided Verification, Part I (CAV (1) 2016)
CAVProceedings of the 28th International Conference on Computer Aided Verification, Part II (CAV (2) 2016)
2015
CAVProceedings of the 27th International Conference on Computer Aided Verification, Part I (CAV 2015)
CAVProceedings of the 27th International Conference on Computer Aided Verification, Part II (CAV 2015)
2014
CAVProceedings of the 26th International Conference on Computer Aided Verification (CAV 2014)
2013
CAVProceedings of the 25th International Conference on Computer Aided Verification (CAV 2013)
2012
CAVProceedings of the 24th International Conference on Computer Aided Verification (CAV 2012)
2011
CAVProceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011)
2010
CAVProceedings of the 22nd International Conference on Computer Aided Verification (CAV 2010)
2009
CAVProceedings of the 21st International Conference on Computer Aided Verification (CAV 2009)
2008
CAVProceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
2007
CAVProceedings of the 19th International Conference on Computer Aided Verification (CAV 2007)
2006
CAVProceedings of the 18th International Conference on Computer Aided Verification (CAV 2006)
2005
CAVProceedings of the 17th International Conference on Computer Aided Verification (CAV 2005)
2004
CAVProceedings of the 16th International Conference on Computer Aided Verification (CAV 2004)
2003
CAVProceedings of the 15th International Conference on Computer Aided Verification (CAV 2003)
2002
CAVProceedings of the 14th International Conference on Computer Aided Verification (CAV 2002)
2001
CAVProceedings of the 13th International Conference on Computer Aided Verification (CAV 2001)
2000
CAVProceedings of the 12th International Conference on Computer Aided Verification (CAV 2000)
1999
CAVProceedings of the 11th International Conference on Computer Aided Verification (CAV 1999)
1998
CAVProceedings of the 10th International Conference on Computer Aided Verification (CAV 1998)
1997
CAVProceedings of the Ninth International Conference on Computer Aided Verification (CAV 1997)
1996
CAVProceedings of the Eighth International Conference on Computer Aided Verification (CAV 1996)
1995
CAVProceedings of the Seventh International Conference on Computer Aided Verification (CAV 1995)
1994
CAVProceedings of the Sixth International Conference on Computer Aided Verification (CAV 1994)
1993
CAVProceedings of the Fifth International Conference on Computer Aided Verification (CAV 1993)
1992
CAVProceedings of the Fourth International Workshop on Computer Aided Verification (CAV 1992)
1991
CAVProceedings of the Third International Workshop on Computer Aided Verification (CAV 1991)
1990
CAVProceedings of the Second International Workshop on Computer Aided Verification (CAV 1990)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.