„Symbolic verification“

Suchergebnisse

1.000+ Treffer

• FIVER – Robust verification of countermeasures against fault injections
  Richter-Brockmann, Jan ; Rezaei Shahmirzadi, Aein ; Sasdrich, Pascal ; Moradi, Amir ; Güneysu, Tim
• Computational efficiency in symbolic optimal control
  Macoveiciuc, Elisei ; Reißig, Gunther ; Moor, Thomas 2024 Universitätsbibliothek der Universität der Bundeswehr München
• Symbolic methods for formal verification of industrial control software
  Bohlender, Dimitri ; Kowalewski, Stefan ; Hermanns, Holger 2021 Universitätsbibliothek der RWTH Aachen
• Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
  Dernehl, Christian Michael ; Kowalewski, Stefan ; Moormann, Dieter 2019 Universitätsbibliothek der RWTH Aachen
• Symbolic execution and program synthesis – a general methodology for software verification
  Ströder, Thomas ; Giesl, Jürgen ; Rubio, Albert 2019 Universitätsbibliothek der RWTH Aachen
• Advancing security protocol verification – A journey along the boundaries of the symbolic model
  Dax, Alexander ; Cremers, Cas 2025 Saarländische Universitäts- und Landesbibliothek
• Verifying Concurrent Systems with Symbolic Execution – Temporal Reasoning is Symbolic Execution with a Little Induction
  Balser, Michael 2006 Shaker
• Integrated Module Testing and Module Verification
  Mangels, Tatiana ; Peleska, Jan ; Drechsler, Rolf 2013 Staats- und Universitätsbibliothek Bremen
• Symbolic Execution of Distributed Systems
  Sasnauskas, Raimondas 2013 Shaker
• Symbolic semantics and verification of stochastic process algebras – = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
  Kuntz, Matthias
• Symbolic timing diagrams – a visual formalism for model verification
  Schlör, Rainer C.
• Formal Modeling and Analysis of Timed Systems – 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
  Jurdziński, Marcin ; Nickovic, Dejan 2012 Springer Berlin Heidelberg
• Computer Aided Verification – 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  Gopalakrishnan, Ganesh ; Qadeer, Shaz 2011 Springer Berlin Heidelberg
• Interactive verification of concurrent systems using symbolic execution
  Bäumler, Simon ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Rudnicki, Piotr ; Sutcliffe, Geoff ; Konev, Boris ; Schmidt, Renate ; Schulz, Stephan 2008 Universität Augsburg
• symQV – Automated Symbolic Verification of Quantum Programs
  Bauer-Marquart, Fabian ; Leue, Stefan ; Schilling, Christian 2023 KOPS Universität Konstanz
• Highly Automated Formal Verification of Arithmetic Circuits
  Sayed-Ahmed, Amr ; Drechsler, Rolf ; Scholl, Christoph 2017 Staats- und Universitätsbibliothek Bremen
• Formal Verification of Firmware-Based System-on-Chip Modules
  Villarraga, Carlos ; Kunz, Wolfgang 2017 Technische Universität Kaiserslautern
• Integrating Symbolic Execution, Debugging and Verification
  Hentschel, Martin ; Hähnle, Reiner ; Leino, K. Rustan M. 2016 Universitäts- und Landesbibliothek Darmstadt
• Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
  Radojičić, Čarna ; Grimm, Christoph 2016 Technische Universität Kaiserslautern
• Correction to: A Unifying View on SMT-Based Software Verification
  Beyer, Dirk ; Dangl, Matthias ; Wendler, Philipp