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

書目詳細資料
Main Authors:	Horn, A, Kroening, D
格式:	Journal article
語言:	English
出版:	2015

相似書籍

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

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

An efficient SAT encoding of circuit codes
由: Chebiryak, Y, et al.
出版: (2008)

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

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

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

Automatic generation of propagation complete SAT encodings
由: Brain, M, et al.
出版: (2015)

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

Automated concurrency bug finding using partial-orders
由: Horn, A
出版: (2015)

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

Modular strategic SMT solving with SMT-RAT
由: Kremer Gereon, et al.
出版: (2018-08-01)

The order encoding: from tractable CSP to tractable SAT
由: Petke, J, et al.
出版: (2011)

The order encoding: From tractable CSP to tractable SAT
由: Petke, J, et al.
出版: (2011)

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

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

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

Concurrent logic games on partial orders
由: Gutierrez, J
出版: (2011)

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

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

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

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

SAT−based Summarisation for Boolean Programs
由: Basler, G, et al.
出版: (2007)

Unfolding-based partial order reduction
由: Rodríguez, C, et al.
出版: (2015)

Software Verification for Weak Memory via Program Transformation
由: Alglave, J, et al.
出版: (2013)

Software verification for weak memory via program transformation
由: Alglave, J, et al.
出版: (2013)

Material Replenishment System For SMT Kitting
由: Ong, Xuan Zhi
出版: (2016)

Material Replenishment System For SMT Kitting
由: Ong, Xuan Zhi
出版: (2016)

SMT-Annual Meeting 2011 in Minneapolis
由: Jan Philipp Sprick
出版: (2011-01-01)

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

Stream−based Randomised Language Models for SMT
由: Levenberg, A, et al.
出版: (2009)

Soundness of Data Flow Analyses for Weak Memory Models
由: Alglave, J, et al.
出版: (2011)

Soundness of data flow analyses for weak memory models
由: Alglave, J, et al.
出版: (2011)

Soundness of Data Flow Analyses for Weak Memory Models
由: Alglave, J, et al.
出版: (2011)

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

SATABS: SAT−based Predicate Abstraction for ANSI−C
由: Clarke, E, et al.
出版: (2005)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
由: MPRC, Pusat Media & Perhubungan Awam
出版: (2015)

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

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

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

Predicting SMT Solver Performance for Software Verification
由: Andrew Healy, et al.
出版: (2017-01-01)