Software Verification for Weak Memory via Program Transformation

Software Verification for Weak Memory via Program Transformation

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Những tác giả chính:	Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
Định dạng:	Conference item
Được phát hành:	2013

Những quyển sách tương tự

Software verification for weak memory via program transformation
Bằng: Alglave, J, et al.
Được phát hành: (2013)

Soundness of Data Flow Analyses for Weak Memory Models
Bằng: Alglave, J, et al.
Được phát hành: (2011)

Soundness of data flow analyses for weak memory models
Bằng: Alglave, J, et al.
Được phát hành: (2011)

Soundness of Data Flow Analyses for Weak Memory Models
Bằng: Alglave, J, et al.
Được phát hành: (2011)

Making Software Verification Tools Really Work
Bằng: Alglave, J, et al.
Được phát hành: (2011)

Partial orders for efficient bounded model checking of concurrent software
Bằng: Alglave, J, et al.
Được phát hành: (2013)

Effective verification for low-level software with competing interrupts
Bằng: Liang, L, et al.
Được phát hành: (2017)

Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion
Bằng: Alglave, J, et al.
Được phát hành: (2014)

Don’t sit on the fence: A static analysis approach to automatic fence insertion
Bằng: Kroening, D, et al.
Được phát hành: (2017)

Static analyses over weak memory
Bằng: Nimal, V, et al.
Được phát hành: (2014)

Hardware verification using software analyzers
Bằng: Mukherjee, R, et al.
Được phát hành: (2015)

Algebraic Techniques in Software Verification : Challenges and Opportunities
Bằng: Brain, M, et al.
Được phát hành: (2016)

A survey of automated techniques for formal software verification
Bằng: D'Silva, V, et al.
Được phát hành: (2008)

A Survey of Automated Techniques for Formal Software Verification.
Bằng: D'Silva, V, et al.
Được phát hành: (2008)

A Survey of Automated Techniques for Formal Software Verification
Bằng: D'Silva, V, et al.
Được phát hành: (2008)

Software Verification Using k−Induction
Bằng: Donaldson, A, et al.
Được phát hành: (2011)

Software verification using k-induction
Bằng: Donaldson, A, et al.
Được phát hành: (2011)

GPU Concurrency: Weak Behaviours and Programming Assumptions
Bằng: Alglave, J, et al.
Được phát hành: (2015)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
Bằng: Kroening, D, et al.
Được phát hành: (2005)

Unbounded Safety Verification for Hardware Using Software Analyzers
Bằng: Mukherjee, R, et al.
Được phát hành: (2015)

Accurate Theorem Proving for Program Verification
Bằng: Cook, B, et al.
Được phát hành: (2006)

A widening approach to multithreaded program verification
Bằng: Kaiser, A, et al.
Được phát hành: (2014)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
Bằng: Kroening, D, et al.
Được phát hành: (2009)

Verification and falsification of programs with loops using predicate abstraction.
Bằng: Kroening, D, et al.
Được phát hành: (2010)

Formal techniques for effective co-verification of hardware/software co-designs
Bằng: Mukherjee, R, et al.
Được phát hành: (2017)

Verification of Boolean Programs with Unbounded Thread Creation
Bằng: Cook, B, et al.
Được phát hành: (2007)

Verification of Boolean programs with unbounded thread creation.
Bằng: Cook, B, et al.
Được phát hành: (2007)

Cogent: Accurate theorem proving for program verification
Bằng: Cook, B, et al.
Được phát hành: (2005)

Hardware Verification using ANSI−C Programs as a Reference
Bằng: Clarke, E, et al.
Được phát hành: (2003)

Hardware verification using ANSI-C programs as a reference
Bằng: Clarke, E, et al.
Được phát hành: (2003)

Formal co−validation of low−level hardware/software interfaces
Bằng: Horn, A, et al.
Được phát hành: (2013)

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
Bằng: Barner, S, et al.
Được phát hành: (2007)

CBMC – C bounded model checker
Bằng: Kroening, D, et al.
Được phát hành: (2014)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
Bằng: Horn, A, et al.
Được phát hành: (2015)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
Bằng: Horn, A, et al.
Được phát hành: (2015)

Formal Co-Validation of Low-Level Hardware/Software Interfaces
Bằng: Horn, A, et al.
Được phát hành: (2013)

Interpolation−based verification of floating−point programs with abstract CDCL
Bằng: Brain, M, et al.
Được phát hành: (2013)

Interpolation-based verification of floating-point programs with abstract CDCL
Bằng: Brain, M, et al.
Được phát hành: (2013)

Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor
Bằng: Beyer, S, et al.
Được phát hành: (2003)

Monotonicity in shared-memory program verification
Bằng: Kaiser, A
Được phát hành: (2013)