Software Verification for Weak Memory via Program Transformation

Software Verification for Weak Memory via Program Transformation

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Asıl Yazarlar:	Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	2013

Benzer Materyaller

Software verification for weak memory via program transformation
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Soundness of Data Flow Analyses for Weak Memory Models
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Soundness of data flow analyses for weak memory models
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Soundness of Data Flow Analyses for Weak Memory Models
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Making Software Verification Tools Really Work
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Partial orders for efficient bounded model checking of concurrent software
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Effective verification for low-level software with competing interrupts
Yazar:: Liang, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Don’t sit on the fence: A static analysis approach to automatic fence insertion
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Static analyses over weak memory
Yazar:: Nimal, V, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Hardware verification using software analyzers
Yazar:: Mukherjee, R, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Algebraic Techniques in Software Verification : Challenges and Opportunities
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

A survey of automated techniques for formal software verification
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

A Survey of Automated Techniques for Formal Software Verification.
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

A Survey of Automated Techniques for Formal Software Verification
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Software Verification Using k−Induction
Yazar:: Donaldson, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Software verification using k-induction
Yazar:: Donaldson, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

GPU Concurrency: Weak Behaviours and Programming Assumptions
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Unbounded Safety Verification for Hardware Using Software Analyzers
Yazar:: Mukherjee, R, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Accurate Theorem Proving for Program Verification
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

A widening approach to multithreaded program verification
Yazar:: Kaiser, A, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Verification and falsification of programs with loops using predicate abstraction.
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Formal techniques for effective co-verification of hardware/software co-designs
Yazar:: Mukherjee, R, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Verification of Boolean Programs with Unbounded Thread Creation
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Verification of Boolean programs with unbounded thread creation.
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Cogent: Accurate theorem proving for program verification
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Hardware Verification using ANSI−C Programs as a Reference
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Hardware verification using ANSI-C programs as a reference
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Formal co−validation of low−level hardware/software interfaces
Yazar:: Horn, A, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
Yazar:: Barner, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

CBMC – C bounded model checker
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
Yazar:: Horn, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
Yazar:: Horn, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Formal Co-Validation of Low-Level Hardware/Software Interfaces
Yazar:: Horn, A, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Interpolation−based verification of floating−point programs with abstract CDCL
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Interpolation-based verification of floating-point programs with abstract CDCL
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor
Yazar:: Beyer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Monotonicity in shared-memory program verification
Yazar:: Kaiser, A
Baskı/Yayın Bilgisi: (2013)