Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
  • PDF
  • English
  • Year: 2015
  • Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
  • PDF
  • English
  • Year: 2015
  • Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Patrice Godefroid (auth.), Corina S. Păsăreanu (eds.)
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Radu Calinescu (editor), Corina S. Păsăreanu (editor)
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
  • EPUB
  • English
  • Year: 2021
  • Author: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2008
  • Author: Daniel Kroening, Ofer Strichman
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2016
  • Author: Daniel Kroening, Ofer Strichman (auth.)
search