An abstraction refinement approach combining precise and approximated techniques Natasha SharyginaStefano TonettaAliaksei Tsitovich Regular Paper 17 February 2011 Pages: 1 - 14
Modelling and analysis using GROOVE Amir Hossein GhamarianMaarten de MolMaria Zimakova Regular Paper 04 March 2011 Pages: 15 - 40
The common aspect proof environment Shmuel KatzDavid Faitelson Regular Paper 16 March 2011 Pages: 41 - 52
Statistical abstraction and model-checking of large heterogeneous systems Ananda BasuSaddek BensalemAxel Legay Regular Paper 21 May 2011 Pages: 53 - 72
Coverage-biased random exploration of large models and application to testing Alain DeniseMarie-Claude GaudelSylvain Peyronnet Regular Paper 17 March 2011 Pages: 73 - 93
Selection of formal verification heuristics for parallel execution Georgia Penido SafeClaudionor Coelho Jr.Antonio Otavio Fernandes Regular Paper 03 June 2011 Pages: 95 - 108