On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

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

Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques h...

Detaylı Bibliyografya
Asıl Yazarlar:	Horn, A, Kroening, D
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	2015

Benzer Materyaller

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)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
Yazar:: Antonino, P, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

An efficient SAT encoding of circuit codes
Yazar:: Chebiryak, Y, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

A SAT−Based Algorithm for Reparameterization in Symbolic Simulation
Yazar:: Chauhan, P, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

A SAT-based algorithm for reparameterization in symbolic simulation
Yazar:: Chauhan, P, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
Yazar:: Sabina Szymoniak, ve diğerleri
Baskı/Yayın Bilgisi: (2021-04-01)

Automatic generation of propagation complete SAT encodings
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

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

Automated concurrency bug finding using partial-orders
Yazar:: Horn, A
Baskı/Yayın Bilgisi: (2015)

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks
Yazar:: Kimia Zamiri Azar, ve diğerleri
Baskı/Yayın Bilgisi: (2018-11-01)

Modular strategic SMT solving with SMT-RAT
Yazar:: Kremer Gereon, ve diğerleri
Baskı/Yayın Bilgisi: (2018-08-01)

The order encoding: from tractable CSP to tractable SAT
Yazar:: Petke, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

The order encoding: From tractable CSP to tractable SAT
Yazar:: Petke, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
Yazar:: A. Niewiadomski, ve diğerleri
Baskı/Yayın Bilgisi: (2018-12-01)

Language and Proofs for Higher-Order SMT (Work in Progress)
Yazar:: Haniel Barbosa, ve diğerleri
Baskı/Yayın Bilgisi: (2017-12-01)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
Yazar:: Petke, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Concurrent logic games on partial orders
Yazar:: Gutierrez, J
Baskı/Yayın Bilgisi: (2011)

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

REINFORCED ENCODING FOR PLANNING AS SAT
Yazar:: Tomáš Balyo, ve diğerleri
Baskı/Yayın Bilgisi: (2015-12-01)

Correctness of Concurrent Objects under Weak Memory Models
Yazar:: Graeme Smith, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks
Yazar:: Gadelha, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

SAT−based Summarisation for Boolean Programs
Yazar:: Basler, G, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Unfolding-based partial order reduction
Yazar:: Rodríguez, C, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Software Verification for Weak Memory via Program Transformation
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

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

Material Replenishment System For SMT Kitting
Yazar:: Ong, Xuan Zhi
Baskı/Yayın Bilgisi: (2016)

Material Replenishment System For SMT Kitting
Yazar:: Ong, Xuan Zhi
Baskı/Yayın Bilgisi: (2016)

SMT-Annual Meeting 2011 in Minneapolis
Yazar:: Jan Philipp Sprick
Baskı/Yayın Bilgisi: (2011-01-01)

Homologi Gen Seleno Metiltransferase (smt) pada Geobacillus sp. 20k dengan smt Astragalus bisulcatus
Yazar:: Evi Triana, ve diğerleri
Baskı/Yayın Bilgisi: (2010-09-01)

Stream−based Randomised Language Models for SMT
Yazar:: Levenberg, A, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

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)

TOWARDS SEMANTIC ENCODING IN DIGITAL PATHOLOGY USING WEAKLY SUPERVISED LEARNING STRATEGIES
Yazar:: Alexander Baras, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

SATABS: SAT−based Predicate Abstraction for ANSI−C
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
Yazar:: MPRC, Pusat Media & Perhubungan Awam
Baskı/Yayın Bilgisi: (2015)

SMT defect reduction using DMAIC methodology /
Yazar:: L. Thiruvarasu Letchumanan, 1980-, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Reasoning with Finite Sets and Cardinality Constraints in SMT
Yazar:: Kshitij Bansal, ve diğerleri
Baskı/Yayın Bilgisi: (2018-11-01)

表面安装技术（SMT）应用简介
Yazar:: 汤大伦
Baskı/Yayın Bilgisi: (1994-01-01)

Predicting SMT Solver Performance for Software Verification
Yazar:: Andrew Healy, ve diğerleri
Baskı/Yayın Bilgisi: (2017-01-01)