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

他のバージョン（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...

書誌詳細
主要な著者:	Horn, A, Kroening, D
フォーマット:	Journal article
言語:	English
出版事項:	2015

類似資料

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
著者:: Horn, A, 等
出版事項: (2015)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
著者:: Antonino, P, 等
出版事項: (2019)

An efficient SAT encoding of circuit codes
著者:: Chebiryak, Y, 等
出版事項: (2008)

A SAT−Based Algorithm for Reparameterization in Symbolic Simulation
著者:: Chauhan, P, 等
出版事項: (2004)

A SAT-based algorithm for reparameterization in symbolic simulation
著者:: Chauhan, P, 等
出版事項: (2004)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
著者:: Sabina Szymoniak, 等
出版事項: (2021-04-01)

Automatic generation of propagation complete SAT encodings
著者:: Brain, M, 等
出版事項: (2015)

Partial orders for efficient bounded model checking of concurrent software
著者:: Alglave, J, 等
出版事項: (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, 等
出版事項: (2018-11-01)

Modular strategic SMT solving with SMT-RAT
著者:: Kremer Gereon, 等
出版事項: (2018-08-01)

The order encoding: from tractable CSP to tractable SAT
著者:: Petke, J, 等
出版事項: (2011)

The order encoding: From tractable CSP to tractable SAT
著者:: Petke, J, 等
出版事項: (2011)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
著者:: A. Niewiadomski, 等
出版事項: (2018-12-01)

Language and Proofs for Higher-Order SMT (Work in Progress)
著者:: Haniel Barbosa, 等
出版事項: (2017-12-01)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
著者:: Petke, J, 等
出版事項: (2011)

Concurrent logic games on partial orders
著者:: Gutierrez, J
出版事項: (2011)

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
著者:: Barner, S, 等
出版事項: (2007)

REINFORCED ENCODING FOR PLANNING AS SAT
著者:: Tomáš Balyo, 等
出版事項: (2015-12-01)

Correctness of Concurrent Objects under Weak Memory Models
著者:: Graeme Smith, 等
出版事項: (2018-10-01)

Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks
著者:: Gadelha, M, 等
出版事項: (2017)

SAT−based Summarisation for Boolean Programs
著者:: Basler, G, 等
出版事項: (2007)

Unfolding-based partial order reduction
著者:: Rodríguez, C, 等
出版事項: (2015)

Software Verification for Weak Memory via Program Transformation
著者:: Alglave, J, 等
出版事項: (2013)

Software verification for weak memory via program transformation
著者:: Alglave, J, 等
出版事項: (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, 等
出版事項: (2010-09-01)

Stream−based Randomised Language Models for SMT
著者:: Levenberg, A, 等
出版事項: (2009)

Soundness of Data Flow Analyses for Weak Memory Models
著者:: Alglave, J, 等
出版事項: (2011)

Soundness of data flow analyses for weak memory models
著者:: Alglave, J, 等
出版事項: (2011)

Soundness of Data Flow Analyses for Weak Memory Models
著者:: Alglave, J, 等
出版事項: (2011)

TOWARDS SEMANTIC ENCODING IN DIGITAL PATHOLOGY USING WEAKLY SUPERVISED LEARNING STRATEGIES
著者:: Alexander Baras, 等
出版事項: (2022-01-01)

SATABS: SAT−based Predicate Abstraction for ANSI−C
著者:: Clarke, E, 等
出版事項: (2005)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
著者:: MPRC, Pusat Media & Perhubungan Awam
出版事項: (2015)

SMT defect reduction using DMAIC methodology /
著者:: L. Thiruvarasu Letchumanan, 1980-, 等
出版事項: (2009)

Reasoning with Finite Sets and Cardinality Constraints in SMT
著者:: Kshitij Bansal, 等
出版事項: (2018-11-01)

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

Predicting SMT Solver Performance for Software Verification
著者:: Andrew Healy, 等
出版事項: (2017-01-01)