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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Horn, A, Kroening, D
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	2015

Eitemau Tebyg

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

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

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

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

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

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

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

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

Automated concurrency bug finding using partial-orders
gan: Horn, A
Cyhoeddwyd: (2015)

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

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

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

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

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

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

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

Concurrent logic games on partial orders
gan: Gutierrez, J
Cyhoeddwyd: (2011)

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

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

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

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

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

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

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

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

Material Replenishment System For SMT Kitting
gan: Ong, Xuan Zhi
Cyhoeddwyd: (2016)

Material Replenishment System For SMT Kitting
gan: Ong, Xuan Zhi
Cyhoeddwyd: (2016)

SMT-Annual Meeting 2011 in Minneapolis
gan: Jan Philipp Sprick
Cyhoeddwyd: (2011-01-01)

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

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

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

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

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

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

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

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

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

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

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

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