Transactional Memory: Glimmer of a Theory
Abstract elided by the publisher.
2,069 papers · page 59 of 104
SPEED: Symbolic Complexity Bound Analysis
Abstract elided by the publisher.
InvGen: An Efficient Invariant Generator
Abstract elided by the publisher.
INFAMY: An Infinite-State Markov Model Checker
Abstract elided by the publisher.
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
Abstract elided by the publisher.
Sliding Window Abstraction for Infinite Markov Chains
Abstract elided by the publisher.
Homer: A Higher-Order Observational Equivalence Model checkER
Abstract elided by the publisher.
Centaur Technology Media Unit Verification
Abstract elided by the publisher.
Incremental Instance Generation in Local Reasoning
Abstract elided by the publisher.
Apron: A Library of Numerical Abstract Domains for Static Analysis
Abstract elided by the publisher.
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
Abstract elided by the publisher.
Quantifier Elimination via Functional Composition
Abstract elided by the publisher.
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
Abstract elided by the publisher.
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
Abstract elided by the publisher.
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation
Abstract elided by the publisher.
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
Abstract elided by the publisher.
Mixed-Signal System Verification: A High-Speed Link Example
Abstract elided by the publisher.
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
Abstract elided by the publisher.
Modelling Epigenetic Information Maintenance: A Kappa Tutorial
Abstract elided by the publisher.
Intra-module Inference
Abstract elided by the publisher.