Conference on Verification, Model Checking and Abstract Interpretation (VMCAI)
(brand of TEST)2 × France
1 × India
2 × Italy
1 × Spain
7 × USA
48 ×#verification
46 ×#model checking
45 ×#analysis
40 ×#abstraction
33 ×#source code
26 ×#abstract interpretation
20 ×#using
19 ×#automaton
15 ×#probability
15 ×#synthesis
Vocabulary: 656 words
485 papers in 18 issues:
- 2019
Proceedings of the 20th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2019)- 2018
- Proceedings of the 19th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2018)
- 2017
- Proceedings of the 18th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2017)
- 2016
- Proceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2016)
- 2015
- Proceedings of the 16th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2015)
- 2014
- Proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2014)
- 2013
- Proceedings of the 14th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2013)
- 2012
- Proceedings of the 13th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2012)
- 2011
- Proceedings of the 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011)
- 2010
- Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010)
- 2009
- Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009)
- 2008
- Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2008)
- 2007
- Proceedings of the Eighth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007)
- 2006
- Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006)
- 2005
- Proceedings of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2005)
- 2004
- Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004)
- 2003
- Proceedings of the Fourth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2003)
- 2002
- Proceedings of the Third International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI 2002)
1 × India
2 × Italy
1 × Spain
7 × USA
48 ×#verification
46 ×#model checking
45 ×#analysis
40 ×#abstraction
33 ×#source code
26 ×#abstract interpretation
20 ×#using
19 ×#automaton
15 ×#probability
15 ×#synthesis
Vocabulary: 656 words
Proceedings of the 20th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2019)Proceedings of the 19th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2018)Proceedings of the 18th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2017)Proceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2016)Proceedings of the 16th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2015)Proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2014)Proceedings of the 14th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2013)Proceedings of the 13th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2012)Proceedings of the 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011)Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010)Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009)Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2008)Proceedings of the Eighth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007)Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006)Proceedings of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2005)Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004)Proceedings of the Fourth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2003)Proceedings of the Third International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI 2002)