The automatic detection of token structures and invariants using SAT checking

The automatic detection of token structures and invariants using SAT checking

Many distributed systems rely on token structures for their correct operation. Often, these structures make sure that a fixed number of tokens exists at all times, or perhaps that tokens cannot be completely eliminated, to prevent systems from reaching undesired states. In this paper we show how a S...

書誌詳細
主要な著者:	Antonino, P, Gibson-Robinson, T, Roscoe, A
フォーマット:	Conference item
出版事項:	Springer, Berlin, Heidelberg 2017

類似資料

Efficient deadlock freedom checking using local analysis and SAT checking
著者:: Antonio, P, 等
出版事項: (2016)

Efficient verification of comcurrent systems using local analysis based approximations and SAT solving
著者:: Antonino, P, 等
出版事項: (2019)

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

Graph-Based Token Replay for Online Conformance Checking
著者:: Indra Waspada, 等
出版事項: (2022-01-01)

Conformance Checking of Dwelling Time Using a Token-based Method
著者:: Bambang Jokonowo, 等
出版事項: (2021-10-01)

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
著者:: Parosh Abdulla, 等
出版事項: (2007-02-01)

Decentralized token economy theory (DeTEcT): token pricing, stability and governance for token economies
著者:: R. Sadykhov, 等
出版事項: (2023-11-01)

Nets with Tokens Which Carry Data
著者:: Roscoe, A, 等
出版事項: (2007)

Nets with Tokens which Carry Data
著者:: Lazic, R, 等
出版事項: (2008)

Nets with tokens which carry data
著者:: Lazić, R, 等
出版事項: (2008)

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking
著者:: Nesredin Mahmud, 等
出版事項: (2016-10-01)

Token and part-of-speech fusion for pretraining of transformers with application in automatic cyberbullying detection
著者:: Nor Saiful Azam Bin Nor Azmi, 等
出版事項: (2025-03-01)

Faster FDR Counterexample Generation Using SAT−Solving
著者:: Palikareva, H, 等
出版事項: (2009)

Model−checking CSP
著者:: A. W. Roscoe
出版事項: (1994)

SAT solving in CSP trace refinement
著者:: Palikareva, H, 等
出版事項: (2012)

SAT−solving in CSP trace refinement
著者:: Palikareva, H, 等
出版事項: (2011)

SAT-solving in CSP trace refinement
著者:: Palikareva, H, 等
出版事項: (2012)

SAT−Solving in CSP Trace Refinement
著者:: Palikareva, H, 等
出版事項: (2012)

Ancient Tokens from the Archaeological Museum of Syracuse
著者:: Antonino Crisà
出版事項: (2023-12-01)

Local search in model checking
著者:: Roscoe, P, 等
出版事項: (2009)

Bounded Quantifier Instantiation for Checking Inductive Invariants
著者:: Yotam M. Y. Feldman, 等
出版事項: (2019-08-01)

Fake image detection through automatic fact checking
著者:: See-To, Junwei
出版事項: (2023)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
著者:: Konstantin Chukharev, 等
出版事項: (2022-01-01)

Local Search in Model Checking
著者:: Roscoe, A, 等
出版事項: (2009)

Finitary refinement checks for infinitary specifications
著者:: Roscoe, A
出版事項: (2004)

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

Checking noninterference in Timed CSP
著者:: Roscoe, A, 等
出版事項: (2013)

Checking noninterference in the timed world
著者:: Roscoe, A, 等
出版事項: (2013)

AUTOMATIC DETERMINING OF TOKEN SEQUENCE ERRORS IN RESPONSES TO OPEN ANSWER QUESTION IN MOODLE LMS
著者:: Oleg A. Sychev, 等
出版事項: (2016-05-01)

Automatic Detection and Classification of Knee Osteoarthritis Using Hu's Invariant Moments
著者:: Shivanand S. Gornale, 等
出版事項: (2020-11-01)

Tokenization of Assets: Security Tokens in Liechtenstein and Switzerland
著者:: Angelika K. Layr
出版事項: (2021-09-01)

The perfect ‘spy’ for model−checking cryptoprotocols
著者:: Roscoe, A, 等
出版事項: (1997)

Model checking Timed CSP
著者:: Armstrong, P, 等
出版事項: (2012)

Symmetry reduction in CSP model checking
著者:: Gibson-Robinson, T, 等
出版事項: (2019)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
著者:: Roscoe, A, 等
出版事項: (1995)

The token-token identity-theory and recent theories of reference
著者:: Gjelsvik, O, 等
出版事項: (1986)

The perfect spy for model−checking crypto−protocols
著者:: Roscoe, A, 等
出版事項: (1997)

Automatic Fact Checking Using Context and Discourse Information
著者:: Nakov, Preslav, 等
出版事項: (2022)

A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph
著者:: Chancellor, N, 等
出版事項: (2016)

Automatic Maintenance of Association Invariants
著者:: Welch, J, 等
出版事項: (2008)