„Program verification“

Suchergebnisse

1.065 Treffer

• Programming for Computations - MATLAB/Octave – A Gentle Introduction to Numerical Simulations with MATLAB/Octave
  Linge, Svein ; Langtangen, Hans Petter 2016 Springer International Publishing
• Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware
  Vasicek, Zdenek ; Sekanina, Lukas
• Extract, model, refine: improved modelling of program verification tools through data enrichment
  Lathouwers, Sophie ; Liu, Yujie ; Zaytsev, Vadim
• Deductive program verification (a practitioner's commentary)
  Nelson, David A.
• Verification, model checking, and abstract interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings
  Jobstmann, Barbara ; Leino, K. Rustan M. 2016 Springer
• Logical Foundations of Cyber-Physical Systems
  Platzer, André 2018 Springer International Publishing
• Artificial Intelligence and Symbolic Computation – 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
  2014 Springer International Publishing
• Verification, model checking, and abstract interpretation – 11th international conference ; proceedings
  Barthe, Gilles 2010 Springer
• Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
  Cook, Byron 2007 Springer
• String Analysis for Software Verification and Security
  Bultan, Tevfik ; Alkhalaf, Muath ; Yu, Fang ; Aydin, Abdulbaki 2017 Springer International Publishing
• 7th International Verification Methods Workshop – 03.-11. May 2017 in Berlin, Germany : programme and abstracts
  2017 Selbstverlag des Deutschen Wetterdienstes
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian 2016 Shaker Verlag
• 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
  Huisman, Marieke ; Rubin, Julia 2017 Springer
• Formalizing Data-Centric Web Services
  Saleh, Iman 2015 Springer International Publishing
• Object-Oriented Technology
  Alagić, Suad 2015 Springer International Publishing
• Perspectives of systems informatics – revised selected papers
  Voronkov, Andrei ; Virbitskaite, Irina 2015 Springer
• Software Engineering for Collective Autonomic Systems – The ASCENS Approach
  2015 Springer International Publishing
• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• Software Architecture – 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings
  2014 Springer International Publishing
• Debugging Systems-on-Chip – Communication-centric and Abstraction-based Techniques
  2014 Springer International Publishing