„Bitvektor“

Suchergebnisse

8 Treffer

• Detecting Unrealizable Bit Vector Program Synthesis Problems
  Kamp, Marius ; Philippsen, Michael ; Keszöcze, Oliver 2024 FAU University Press
• Automatic abstraction for bit-vectors using decision procedures
  Brauer, Jörg 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Speeding up hardware verification by automated data path scaling
  Johannsen, Peer
• Detecting unrealizable bit vector program synthesis problems – = Erkennung unlösbarer Bitvektor-Programmsyntheseprobleme
  Kamp, Marius 2024 FAU University Press
• Speeding up hardware verification by automated data path scaling
  Johannsen, Peer
• Efficient SMT solving for bit vectors and the extensional theory of arrays
  Brummayer, Robert 2010 Trauner
• Herausforderungen der ganzheitlichen Absicherung eingebetteter Systeme – Ein Baukastenprinzip für Systemsicherheit
  Pehl, Michael ; Seuschek, Hermann
• Automatic abstraction for bit-vectors using decision procedures
  Brauer, Jörg 2013 RWTH, Fachgruppe Informatik