Gösterilen 201 - 220 sonuçlar arası kayıtlar. 409 sonuç. Aranan kelime 'Tools and Algorithms for the Construction and Analysis of Systems', Sorgu süresi: 0.12s Sonuçları Daraltın
A Two-Phase Approach for Conditional Floating-Point Verification
Local Search with a SAT Oracle for Combinatorial Optimization

Bayesian networks and decision graphs
Symbiotic 7: Integration of Predator and More: (Competition Contribution)

Timed Automata Relaxation for Reachability
Verifying Array Manipulating Programs with Full-Program Induction

Deductive Stability Proofs for Ordinary Differential Equations
Discourje: Runtime Verification of Communication Protocols in Clojure

Deciding the Bisimilarity of Context-Free Session Types
Verifying OpenJDK’s LinkedList using KeY

Fold/Unfold Transformations for Fixpoint Logic
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions: (Competition Contribution)

JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints
Learning One-Clock Timed Automata

Multi-agent Safety Verification Using Symmetry Transformations
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder — Aramayı sakla