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

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

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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Horn, A, Kroening, D
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	2015

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

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)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
Bằng: Antonino, P, et al.
Được phát hành: (2019)

An efficient SAT encoding of circuit codes
Bằng: Chebiryak, Y, et al.
Được phát hành: (2008)

A SAT−Based Algorithm for Reparameterization in Symbolic Simulation
Bằng: Chauhan, P, et al.
Được phát hành: (2004)

A SAT-based algorithm for reparameterization in symbolic simulation
Bằng: Chauhan, P, et al.
Được phát hành: (2004)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
Bằng: Sabina Szymoniak, et al.
Được phát hành: (2021-04-01)

Automatic generation of propagation complete SAT encodings
Bằng: Brain, M, et al.
Được phát hành: (2015)

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

Automated concurrency bug finding using partial-orders
Bằng: Horn, A
Được phát hành: (2015)

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks
Bằng: Kimia Zamiri Azar, et al.
Được phát hành: (2018-11-01)

Modular strategic SMT solving with SMT-RAT
Bằng: Kremer Gereon, et al.
Được phát hành: (2018-08-01)

The order encoding: from tractable CSP to tractable SAT
Bằng: Petke, J, et al.
Được phát hành: (2011)

The order encoding: From tractable CSP to tractable SAT
Bằng: Petke, J, et al.
Được phát hành: (2011)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
Bằng: A. Niewiadomski, et al.
Được phát hành: (2018-12-01)

Language and Proofs for Higher-Order SMT (Work in Progress)
Bằng: Haniel Barbosa, et al.
Được phát hành: (2017-12-01)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
Bằng: Petke, J, et al.
Được phát hành: (2011)

Concurrent logic games on partial orders
Bằng: Gutierrez, J
Được phát hành: (2011)

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

REINFORCED ENCODING FOR PLANNING AS SAT
Bằng: Tomáš Balyo, et al.
Được phát hành: (2015-12-01)

Correctness of Concurrent Objects under Weak Memory Models
Bằng: Graeme Smith, et al.
Được phát hành: (2018-10-01)

Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks
Bằng: Gadelha, M, et al.
Được phát hành: (2017)

SAT−based Summarisation for Boolean Programs
Bằng: Basler, G, et al.
Được phát hành: (2007)

Unfolding-based partial order reduction
Bằng: Rodríguez, C, et al.
Được phát hành: (2015)

Software Verification for Weak Memory via Program Transformation
Bằng: Alglave, J, et al.
Được phát hành: (2013)

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

Material Replenishment System For SMT Kitting
Bằng: Ong, Xuan Zhi
Được phát hành: (2016)

Material Replenishment System For SMT Kitting
Bằng: Ong, Xuan Zhi
Được phát hành: (2016)

SMT-Annual Meeting 2011 in Minneapolis
Bằng: Jan Philipp Sprick
Được phát hành: (2011-01-01)

Homologi Gen Seleno Metiltransferase (smt) pada Geobacillus sp. 20k dengan smt Astragalus bisulcatus
Bằng: Evi Triana, et al.
Được phát hành: (2010-09-01)

Stream−based Randomised Language Models for SMT
Bằng: Levenberg, A, et al.
Được phát hành: (2009)

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)

TOWARDS SEMANTIC ENCODING IN DIGITAL PATHOLOGY USING WEAKLY SUPERVISED LEARNING STRATEGIES
Bằng: Alexander Baras, et al.
Được phát hành: (2022-01-01)

SATABS: SAT−based Predicate Abstraction for ANSI−C
Bằng: Clarke, E, et al.
Được phát hành: (2005)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
Bằng: MPRC, Pusat Media & Perhubungan Awam
Được phát hành: (2015)

SMT defect reduction using DMAIC methodology /
Bằng: L. Thiruvarasu Letchumanan, 1980-, et al.
Được phát hành: (2009)

Reasoning with Finite Sets and Cardinality Constraints in SMT
Bằng: Kshitij Bansal, et al.
Được phát hành: (2018-11-01)

表面安装技术（SMT）应用简介
Bằng: 汤大伦
Được phát hành: (1994-01-01)

Predicting SMT Solver Performance for Software Verification
Bằng: Andrew Healy, et al.
Được phát hành: (2017-01-01)