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

Show other versions (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...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Horn, A, Kroening, D
Formatua:	Journal article
Hizkuntza:	English
Argitaratua:	2015

Antzeko izenburuak

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
nork: Horn, A, et al.
Argitaratua: (2015)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
nork: Antonino, P, et al.
Argitaratua: (2019)

An efficient SAT encoding of circuit codes
nork: Chebiryak, Y, et al.
Argitaratua: (2008)

A SAT−Based Algorithm for Reparameterization in Symbolic Simulation
nork: Chauhan, P, et al.
Argitaratua: (2004)

A SAT-based algorithm for reparameterization in symbolic simulation
nork: Chauhan, P, et al.
Argitaratua: (2004)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
nork: Sabina Szymoniak, et al.
Argitaratua: (2021-04-01)

Automatic generation of propagation complete SAT encodings
nork: Brain, M, et al.
Argitaratua: (2015)

Partial orders for efficient bounded model checking of concurrent software
nork: Alglave, J, et al.
Argitaratua: (2013)

Automated concurrency bug finding using partial-orders
nork: Horn, A
Argitaratua: (2015)

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks
nork: Kimia Zamiri Azar, et al.
Argitaratua: (2018-11-01)

Modular strategic SMT solving with SMT-RAT
nork: Kremer Gereon, et al.
Argitaratua: (2018-08-01)

The order encoding: from tractable CSP to tractable SAT
nork: Petke, J, et al.
Argitaratua: (2011)

The order encoding: From tractable CSP to tractable SAT
nork: Petke, J, et al.
Argitaratua: (2011)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
nork: A. Niewiadomski, et al.
Argitaratua: (2018-12-01)

Language and Proofs for Higher-Order SMT (Work in Progress)
nork: Haniel Barbosa, et al.
Argitaratua: (2017-12-01)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
nork: Petke, J, et al.
Argitaratua: (2011)

Concurrent logic games on partial orders
nork: Gutierrez, J
Argitaratua: (2011)

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
nork: Barner, S, et al.
Argitaratua: (2007)

REINFORCED ENCODING FOR PLANNING AS SAT
nork: Tomáš Balyo, et al.
Argitaratua: (2015-12-01)

Correctness of Concurrent Objects under Weak Memory Models
nork: Graeme Smith, et al.
Argitaratua: (2018-10-01)

Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks
nork: Gadelha, M, et al.
Argitaratua: (2017)

SAT−based Summarisation for Boolean Programs
nork: Basler, G, et al.
Argitaratua: (2007)

Unfolding-based partial order reduction
nork: Rodríguez, C, et al.
Argitaratua: (2015)

Software Verification for Weak Memory via Program Transformation
nork: Alglave, J, et al.
Argitaratua: (2013)

Software verification for weak memory via program transformation
nork: Alglave, J, et al.
Argitaratua: (2013)

Material Replenishment System For SMT Kitting
nork: Ong, Xuan Zhi
Argitaratua: (2016)

Material Replenishment System For SMT Kitting
nork: Ong, Xuan Zhi
Argitaratua: (2016)

SMT-Annual Meeting 2011 in Minneapolis
nork: Jan Philipp Sprick
Argitaratua: (2011-01-01)

Homologi Gen Seleno Metiltransferase (smt) pada Geobacillus sp. 20k dengan smt Astragalus bisulcatus
nork: Evi Triana, et al.
Argitaratua: (2010-09-01)

Stream−based Randomised Language Models for SMT
nork: Levenberg, A, et al.
Argitaratua: (2009)

Soundness of Data Flow Analyses for Weak Memory Models
nork: Alglave, J, et al.
Argitaratua: (2011)

Soundness of data flow analyses for weak memory models
nork: Alglave, J, et al.
Argitaratua: (2011)

Soundness of Data Flow Analyses for Weak Memory Models
nork: Alglave, J, et al.
Argitaratua: (2011)

TOWARDS SEMANTIC ENCODING IN DIGITAL PATHOLOGY USING WEAKLY SUPERVISED LEARNING STRATEGIES
nork: Alexander Baras, et al.
Argitaratua: (2022-01-01)

SATABS: SAT−based Predicate Abstraction for ANSI−C
nork: Clarke, E, et al.
Argitaratua: (2005)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
nork: MPRC, Pusat Media & Perhubungan Awam
Argitaratua: (2015)

SMT defect reduction using DMAIC methodology /
nork: L. Thiruvarasu Letchumanan, 1980-, et al.
Argitaratua: (2009)

Reasoning with Finite Sets and Cardinality Constraints in SMT
nork: Kshitij Bansal, et al.
Argitaratua: (2018-11-01)

表面安装技术（SMT）应用简介
nork: 汤大伦
Argitaratua: (1994-01-01)

Predicting SMT Solver Performance for Software Verification
nork: Andrew Healy, et al.
Argitaratua: (2017-01-01)