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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Antonino, P, Gibson-Robinson, T, Roscoe, A
Format:	Conference item
Udgivet:	Springer, Berlin, Heidelberg 2017

Lignende værker

Efficient deadlock freedom checking using local analysis and SAT checking
af: Antonio, P, et al.
Udgivet: (2016)

Efficient verification of comcurrent systems using local analysis based approximations and SAT solving
af: Antonino, P, et al.
Udgivet: (2019)

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

Graph-Based Token Replay for Online Conformance Checking
af: Indra Waspada, et al.
Udgivet: (2022-01-01)

Conformance Checking of Dwelling Time Using a Token-based Method
af: Bambang Jokonowo, et al.
Udgivet: (2021-10-01)

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
af: Parosh Abdulla, et al.
Udgivet: (2007-02-01)

Decentralized token economy theory (DeTEcT): token pricing, stability and governance for token economies
af: R. Sadykhov, et al.
Udgivet: (2023-11-01)

Nets with Tokens Which Carry Data
af: Roscoe, A, et al.
Udgivet: (2007)

Nets with Tokens which Carry Data
af: Lazic, R, et al.
Udgivet: (2008)

Nets with tokens which carry data
af: Lazić, R, et al.
Udgivet: (2008)

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking
af: Nesredin Mahmud, et al.
Udgivet: (2016-10-01)

Token and part-of-speech fusion for pretraining of transformers with application in automatic cyberbullying detection
af: Nor Saiful Azam Bin Nor Azmi, et al.
Udgivet: (2025-03-01)

Faster FDR Counterexample Generation Using SAT−Solving
af: Palikareva, H, et al.
Udgivet: (2009)

Model−checking CSP
af: A. W. Roscoe
Udgivet: (1994)

SAT solving in CSP trace refinement
af: Palikareva, H, et al.
Udgivet: (2012)

SAT−solving in CSP trace refinement
af: Palikareva, H, et al.
Udgivet: (2011)

SAT-solving in CSP trace refinement
af: Palikareva, H, et al.
Udgivet: (2012)

SAT−Solving in CSP Trace Refinement
af: Palikareva, H, et al.
Udgivet: (2012)

Ancient Tokens from the Archaeological Museum of Syracuse
af: Antonino Crisà
Udgivet: (2023-12-01)

Local search in model checking
af: Roscoe, P, et al.
Udgivet: (2009)

Bounded Quantifier Instantiation for Checking Inductive Invariants
af: Yotam M. Y. Feldman, et al.
Udgivet: (2019-08-01)

Fake image detection through automatic fact checking
af: See-To, Junwei
Udgivet: (2023)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
af: Konstantin Chukharev, et al.
Udgivet: (2022-01-01)

Local Search in Model Checking
af: Roscoe, A, et al.
Udgivet: (2009)

Finitary refinement checks for infinitary specifications
af: Roscoe, A
Udgivet: (2004)

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

Checking noninterference in Timed CSP
af: Roscoe, A, et al.
Udgivet: (2013)

Checking noninterference in the timed world
af: Roscoe, A, et al.
Udgivet: (2013)

AUTOMATIC DETERMINING OF TOKEN SEQUENCE ERRORS IN RESPONSES TO OPEN ANSWER QUESTION IN MOODLE LMS
af: Oleg A. Sychev, et al.
Udgivet: (2016-05-01)

Automatic Detection and Classification of Knee Osteoarthritis Using Hu's Invariant Moments
af: Shivanand S. Gornale, et al.
Udgivet: (2020-11-01)

Tokenization of Assets: Security Tokens in Liechtenstein and Switzerland
af: Angelika K. Layr
Udgivet: (2021-09-01)

The perfect ‘spy’ for model−checking cryptoprotocols
af: Roscoe, A, et al.
Udgivet: (1997)

Model checking Timed CSP
af: Armstrong, P, et al.
Udgivet: (2012)

Symmetry reduction in CSP model checking
af: Gibson-Robinson, T, et al.
Udgivet: (2019)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
af: Roscoe, A, et al.
Udgivet: (1995)

The token-token identity-theory and recent theories of reference
af: Gjelsvik, O, et al.
Udgivet: (1986)

The perfect spy for model−checking crypto−protocols
af: Roscoe, A, et al.
Udgivet: (1997)

Automatic Fact Checking Using Context and Discourse Information
af: Nakov, Preslav, et al.
Udgivet: (2022)

A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph
af: Chancellor, N, et al.
Udgivet: (2016)

Automatic Maintenance of Association Invariants
af: Welch, J, et al.
Udgivet: (2008)