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

Detaylı Bibliyografya
Asıl Yazarlar:	Antonino, P, Gibson-Robinson, T, Roscoe, A
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	Springer, Berlin, Heidelberg 2017

Benzer Materyaller

Efficient deadlock freedom checking using local analysis and SAT checking
Yazar:: Antonio, P, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Efficient verification of comcurrent systems using local analysis based approximations and SAT solving
Yazar:: Antonino, P, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
Yazar:: Antonino, P, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Graph-Based Token Replay for Online Conformance Checking
Yazar:: Indra Waspada, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Conformance Checking of Dwelling Time Using a Token-based Method
Yazar:: Bambang Jokonowo, ve diğerleri
Baskı/Yayın Bilgisi: (2021-10-01)

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
Yazar:: Parosh Abdulla, ve diğerleri
Baskı/Yayın Bilgisi: (2007-02-01)

Decentralized token economy theory (DeTEcT): token pricing, stability and governance for token economies
Yazar:: R. Sadykhov, ve diğerleri
Baskı/Yayın Bilgisi: (2023-11-01)

Nets with Tokens Which Carry Data
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Nets with Tokens which Carry Data
Yazar:: Lazic, R, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Nets with tokens which carry data
Yazar:: Lazić, R, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking
Yazar:: Nesredin Mahmud, ve diğerleri
Baskı/Yayın Bilgisi: (2016-10-01)

Token and part-of-speech fusion for pretraining of transformers with application in automatic cyberbullying detection
Yazar:: Nor Saiful Azam Bin Nor Azmi, ve diğerleri
Baskı/Yayın Bilgisi: (2025-03-01)

Faster FDR Counterexample Generation Using SAT−Solving
Yazar:: Palikareva, H, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Model−checking CSP
Yazar:: A. W. Roscoe
Baskı/Yayın Bilgisi: (1994)

SAT solving in CSP trace refinement
Yazar:: Palikareva, H, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

SAT−solving in CSP trace refinement
Yazar:: Palikareva, H, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

SAT-solving in CSP trace refinement
Yazar:: Palikareva, H, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

SAT−Solving in CSP Trace Refinement
Yazar:: Palikareva, H, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Ancient Tokens from the Archaeological Museum of Syracuse
Yazar:: Antonino Crisà
Baskı/Yayın Bilgisi: (2023-12-01)

Local search in model checking
Yazar:: Roscoe, P, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Bounded Quantifier Instantiation for Checking Inductive Invariants
Yazar:: Yotam M. Y. Feldman, ve diğerleri
Baskı/Yayın Bilgisi: (2019-08-01)

Fake image detection through automatic fact checking
Yazar:: See-To, Junwei
Baskı/Yayın Bilgisi: (2023)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
Yazar:: Konstantin Chukharev, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Local Search in Model Checking
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Finitary refinement checks for infinitary specifications
Yazar:: Roscoe, A
Baskı/Yayın Bilgisi: (2004)

Automatic generation of propagation complete SAT encodings
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Checking noninterference in Timed CSP
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Checking noninterference in the timed world
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

AUTOMATIC DETERMINING OF TOKEN SEQUENCE ERRORS IN RESPONSES TO OPEN ANSWER QUESTION IN MOODLE LMS
Yazar:: Oleg A. Sychev, ve diğerleri
Baskı/Yayın Bilgisi: (2016-05-01)

Automatic Detection and Classification of Knee Osteoarthritis Using Hu's Invariant Moments
Yazar:: Shivanand S. Gornale, ve diğerleri
Baskı/Yayın Bilgisi: (2020-11-01)

Tokenization of Assets: Security Tokens in Liechtenstein and Switzerland
Yazar:: Angelika K. Layr
Baskı/Yayın Bilgisi: (2021-09-01)

The perfect ‘spy’ for model−checking cryptoprotocols
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1997)

Model checking Timed CSP
Yazar:: Armstrong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Symmetry reduction in CSP model checking
Yazar:: Gibson-Robinson, T, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

The token-token identity-theory and recent theories of reference
Yazar:: Gjelsvik, O, ve diğerleri
Baskı/Yayın Bilgisi: (1986)

The perfect spy for model−checking crypto−protocols
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1997)

Automatic Fact Checking Using Context and Discourse Information
Yazar:: Nakov, Preslav, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph
Yazar:: Chancellor, N, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Automatic Maintenance of Association Invariants
Yazar:: Welch, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)