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

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Antonino, P, Gibson-Robinson, T, Roscoe, A
Format:	Conference item
Wydane:	Springer, Berlin, Heidelberg 2017

Podobne zapisy

Efficient deadlock freedom checking using local analysis and SAT checking
od: Antonio, P, i wsp.
Wydane: (2016)

Efficient verification of comcurrent systems using local analysis based approximations and SAT solving
od: Antonino, P, i wsp.
Wydane: (2019)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
od: Antonino, P, i wsp.
Wydane: (2019)

Graph-Based Token Replay for Online Conformance Checking
od: Indra Waspada, i wsp.
Wydane: (2022-01-01)

Conformance Checking of Dwelling Time Using a Token-based Method
od: Bambang Jokonowo, i wsp.
Wydane: (2021-10-01)

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
od: Parosh Abdulla, i wsp.
Wydane: (2007-02-01)

Decentralized token economy theory (DeTEcT): token pricing, stability and governance for token economies
od: R. Sadykhov, i wsp.
Wydane: (2023-11-01)

Nets with Tokens Which Carry Data
od: Roscoe, A, i wsp.
Wydane: (2007)

Nets with Tokens which Carry Data
od: Lazic, R, i wsp.
Wydane: (2008)

Nets with tokens which carry data
od: Lazić, R, i wsp.
Wydane: (2008)

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking
od: Nesredin Mahmud, i wsp.
Wydane: (2016-10-01)

Token and part-of-speech fusion for pretraining of transformers with application in automatic cyberbullying detection
od: Nor Saiful Azam Bin Nor Azmi, i wsp.
Wydane: (2025-03-01)

Faster FDR Counterexample Generation Using SAT−Solving
od: Palikareva, H, i wsp.
Wydane: (2009)

Model−checking CSP
od: A. W. Roscoe
Wydane: (1994)

SAT solving in CSP trace refinement
od: Palikareva, H, i wsp.
Wydane: (2012)

SAT−solving in CSP trace refinement
od: Palikareva, H, i wsp.
Wydane: (2011)

SAT-solving in CSP trace refinement
od: Palikareva, H, i wsp.
Wydane: (2012)

SAT−Solving in CSP Trace Refinement
od: Palikareva, H, i wsp.
Wydane: (2012)

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

Local search in model checking
od: Roscoe, P, i wsp.
Wydane: (2009)

Bounded Quantifier Instantiation for Checking Inductive Invariants
od: Yotam M. Y. Feldman, i wsp.
Wydane: (2019-08-01)

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

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
od: Konstantin Chukharev, i wsp.
Wydane: (2022-01-01)

Local Search in Model Checking
od: Roscoe, A, i wsp.
Wydane: (2009)

Finitary refinement checks for infinitary specifications
od: Roscoe, A
Wydane: (2004)

Automatic generation of propagation complete SAT encodings
od: Brain, M, i wsp.
Wydane: (2015)

Checking noninterference in Timed CSP
od: Roscoe, A, i wsp.
Wydane: (2013)

Checking noninterference in the timed world
od: Roscoe, A, i wsp.
Wydane: (2013)

AUTOMATIC DETERMINING OF TOKEN SEQUENCE ERRORS IN RESPONSES TO OPEN ANSWER QUESTION IN MOODLE LMS
od: Oleg A. Sychev, i wsp.
Wydane: (2016-05-01)

Automatic Detection and Classification of Knee Osteoarthritis Using Hu's Invariant Moments
od: Shivanand S. Gornale, i wsp.
Wydane: (2020-11-01)

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

The perfect ‘spy’ for model−checking cryptoprotocols
od: Roscoe, A, i wsp.
Wydane: (1997)

Model checking Timed CSP
od: Armstrong, P, i wsp.
Wydane: (2012)

Symmetry reduction in CSP model checking
od: Gibson-Robinson, T, i wsp.
Wydane: (2019)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
od: Roscoe, A, i wsp.
Wydane: (1995)

The token-token identity-theory and recent theories of reference
od: Gjelsvik, O, i wsp.
Wydane: (1986)

The perfect spy for model−checking crypto−protocols
od: Roscoe, A, i wsp.
Wydane: (1997)

Automatic Fact Checking Using Context and Discourse Information
od: Nakov, Preslav, i wsp.
Wydane: (2022)

A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph
od: Chancellor, N, i wsp.
Wydane: (2016)

Automatic Maintenance of Association Invariants
od: Welch, J, i wsp.
Wydane: (2008)