„program analysis and verification“

Suchergebnisse

1.000+ Treffer

• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• Development, verification and analysis of a fault injection tool for improving dependability of FPGA systems
  Khatri, Abdul Rafay 2021 Universitätsbibliothek Kassel
• Coloured Petri Nets – Modelling and Validation of Concurrent Systems
  2009 Springer Berlin Heidelberg
• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
  Herda, Mihai ; Beckert, B. 2020 KIT-Bibliothek
• Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
  2017 Springer International Publishing
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Piterman, Nir ; Smolka, Scott 2013 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
  Giacobazzi, Roberto ; Berdine, Josh ; Mastroeni, Isabella 2013 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  2012 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  Bjørner, Nikolaj ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  Barthe, Gilles 2010 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
• Pragmatic techniques for program analysis and verification
  Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian ; Kowalewski, Stefan ; Fay, Alexander 2016 Universitätsbibliothek der RWTH Aachen