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)