„Bounded Model Checking“
Suchergebnisse
1.000+ Treffer
-
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
-
Advanced Automation in Formal Verification of Processors
-
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure – Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
-
Cryptographic Protocols from Physical Assumptions
-
Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems
-
Verifikation von systemnaher Software mittels Bounded Model Checking
-
Symbolische Methoden für die probabilistische Verifikation – Zustandsraumreduktion und Gegenbeispiele
-
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
-
System-on-chip protocol compliance verification using interval property checking – = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
-
SAT-based verification – from core algorithms to novel application domains
-
Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
-
Speeding up hardware verification by automated data path scaling
-
Preprocessing for property checking of sequential circuits on the register transfer level – = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
-
Applications and Theory of Petri Nets – 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
-
Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
-
Integrating Loop Acceleration Into Bounded Model Checking
-
Symbolic Causality Checking Using Bounded Model Checking
-
Applying CDCL to verification and test: when laziness pays off
-
Theory and Implementation of Software Bounded Model Checking
-
Verifikation unvollständiger Schaltkreise