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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Antonino, P, Gibson-Robinson, T, Roscoe, A
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer, Berlin, Heidelberg 2017

Míreanna comhchosúla

Efficient deadlock freedom checking using local analysis and SAT checking
de réir: Antonio, P, et al.
Foilsithe / Cruthaithe: (2016)

Efficient verification of comcurrent systems using local analysis based approximations and SAT solving
de réir: Antonino, P, et al.
Foilsithe / Cruthaithe: (2019)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
de réir: Antonino, P, et al.
Foilsithe / Cruthaithe: (2019)

Graph-Based Token Replay for Online Conformance Checking
de réir: Indra Waspada, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Conformance Checking of Dwelling Time Using a Token-based Method
de réir: Bambang Jokonowo, et al.
Foilsithe / Cruthaithe: (2021-10-01)

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
de réir: Parosh Abdulla, et al.
Foilsithe / Cruthaithe: (2007-02-01)

Decentralized token economy theory (DeTEcT): token pricing, stability and governance for token economies
de réir: R. Sadykhov, et al.
Foilsithe / Cruthaithe: (2023-11-01)

Nets with Tokens Which Carry Data
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2007)

Nets with Tokens which Carry Data
de réir: Lazic, R, et al.
Foilsithe / Cruthaithe: (2008)

Nets with tokens which carry data
de réir: Lazić, R, et al.
Foilsithe / Cruthaithe: (2008)

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking
de réir: Nesredin Mahmud, et al.
Foilsithe / Cruthaithe: (2016-10-01)

Token and part-of-speech fusion for pretraining of transformers with application in automatic cyberbullying detection
de réir: Nor Saiful Azam Bin Nor Azmi, et al.
Foilsithe / Cruthaithe: (2025-03-01)

Faster FDR Counterexample Generation Using SAT−Solving
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2009)

Model−checking CSP
de réir: A. W. Roscoe
Foilsithe / Cruthaithe: (1994)

SAT solving in CSP trace refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2012)

SAT−solving in CSP trace refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2011)

SAT-solving in CSP trace refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2012)

SAT−Solving in CSP Trace Refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2012)

Ancient Tokens from the Archaeological Museum of Syracuse
de réir: Antonino Crisà
Foilsithe / Cruthaithe: (2023-12-01)

Local search in model checking
de réir: Roscoe, P, et al.
Foilsithe / Cruthaithe: (2009)

Bounded Quantifier Instantiation for Checking Inductive Invariants
de réir: Yotam M. Y. Feldman, et al.
Foilsithe / Cruthaithe: (2019-08-01)

Fake image detection through automatic fact checking
de réir: See-To, Junwei
Foilsithe / Cruthaithe: (2023)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
de réir: Konstantin Chukharev, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Local Search in Model Checking
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2009)

Finitary refinement checks for infinitary specifications
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2004)

Automatic generation of propagation complete SAT encodings
de réir: Brain, M, et al.
Foilsithe / Cruthaithe: (2015)

Checking noninterference in Timed CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2013)

Checking noninterference in the timed world
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2013)

AUTOMATIC DETERMINING OF TOKEN SEQUENCE ERRORS IN RESPONSES TO OPEN ANSWER QUESTION IN MOODLE LMS
de réir: Oleg A. Sychev, et al.
Foilsithe / Cruthaithe: (2016-05-01)

Automatic Detection and Classification of Knee Osteoarthritis Using Hu's Invariant Moments
de réir: Shivanand S. Gornale, et al.
Foilsithe / Cruthaithe: (2020-11-01)

Tokenization of Assets: Security Tokens in Liechtenstein and Switzerland
de réir: Angelika K. Layr
Foilsithe / Cruthaithe: (2021-09-01)

The perfect ‘spy’ for model−checking cryptoprotocols
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1997)

Model checking Timed CSP
de réir: Armstrong, P, et al.
Foilsithe / Cruthaithe: (2012)

Symmetry reduction in CSP model checking
de réir: Gibson-Robinson, T, et al.
Foilsithe / Cruthaithe: (2019)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1995)

The token-token identity-theory and recent theories of reference
de réir: Gjelsvik, O, et al.
Foilsithe / Cruthaithe: (1986)

The perfect spy for model−checking crypto−protocols
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1997)

Automatic Fact Checking Using Context and Discourse Information
de réir: Nakov, Preslav, et al.
Foilsithe / Cruthaithe: (2022)

A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph
de réir: Chancellor, N, et al.
Foilsithe / Cruthaithe: (2016)

Automatic Maintenance of Association Invariants
de réir: Welch, J, et al.
Foilsithe / Cruthaithe: (2008)