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

Näytä muut versiot (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...

Bibliografiset tiedot
Päätekijät:	Horn, A, Kroening, D
Aineistotyyppi:	Journal article
Kieli:	English
Julkaistu:	2015

Samankaltaisia teoksia

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

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

An efficient SAT encoding of circuit codes
Tekijä: Chebiryak, Y, et al.
Julkaistu: (2008)

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

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

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

Automatic generation of propagation complete SAT encodings
Tekijä: Brain, M, et al.
Julkaistu: (2015)

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

Automated concurrency bug finding using partial-orders
Tekijä: Horn, A
Julkaistu: (2015)

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

Modular strategic SMT solving with SMT-RAT
Tekijä: Kremer Gereon, et al.
Julkaistu: (2018-08-01)

The order encoding: from tractable CSP to tractable SAT
Tekijä: Petke, J, et al.
Julkaistu: (2011)

The order encoding: From tractable CSP to tractable SAT
Tekijä: Petke, J, et al.
Julkaistu: (2011)

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

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

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

Concurrent logic games on partial orders
Tekijä: Gutierrez, J
Julkaistu: (2011)

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

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

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

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

SAT−based Summarisation for Boolean Programs
Tekijä: Basler, G, et al.
Julkaistu: (2007)

Unfolding-based partial order reduction
Tekijä: Rodríguez, C, et al.
Julkaistu: (2015)

Software Verification for Weak Memory via Program Transformation
Tekijä: Alglave, J, et al.
Julkaistu: (2013)

Software verification for weak memory via program transformation
Tekijä: Alglave, J, et al.
Julkaistu: (2013)

Material Replenishment System For SMT Kitting
Tekijä: Ong, Xuan Zhi
Julkaistu: (2016)

Material Replenishment System For SMT Kitting
Tekijä: Ong, Xuan Zhi
Julkaistu: (2016)

SMT-Annual Meeting 2011 in Minneapolis
Tekijä: Jan Philipp Sprick
Julkaistu: (2011-01-01)

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

Stream−based Randomised Language Models for SMT
Tekijä: Levenberg, A, et al.
Julkaistu: (2009)

Soundness of Data Flow Analyses for Weak Memory Models
Tekijä: Alglave, J, et al.
Julkaistu: (2011)

Soundness of data flow analyses for weak memory models
Tekijä: Alglave, J, et al.
Julkaistu: (2011)

Soundness of Data Flow Analyses for Weak Memory Models
Tekijä: Alglave, J, et al.
Julkaistu: (2011)

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

SATABS: SAT−based Predicate Abstraction for ANSI−C
Tekijä: Clarke, E, et al.
Julkaistu: (2005)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
Tekijä: MPRC, Pusat Media & Perhubungan Awam
Julkaistu: (2015)

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

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

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

Predicting SMT Solver Performance for Software Verification
Tekijä: Andrew Healy, et al.
Julkaistu: (2017-01-01)