Efficient verification of comcurrent systems using local analysis based approximations and SAT solving

Efficient verification of comcurrent systems using local analysis based approximations and SAT solving

This work develops a type of local analysis that can prove concurrent systems deadlock free. As opposed to examining the overall behaviour of a system, local analysis consists of examining the behaviour of small parts of the system to yield a given property. We analyse pairs of interacting component...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Antonino, P, Gibson-Robinson, T, Roscoe, A
Формат:	Journal article
Хэвлэсэн:	Springer 2019

Ижил төстэй зүйлс

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
-н: Antonino, P, зэрэг
Хэвлэсэн: (2019)

Efficient deadlock freedom checking using local analysis and SAT checking
-н: Antonio, P, зэрэг
Хэвлэсэн: (2016)

The automatic detection of token structures and invariants using SAT checking
-н: Antonino, P, зэрэг
Хэвлэсэн: (2017)

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)

Faster FDR Counterexample Generation Using SAT−Solving
-н: Palikareva, H, зэрэг
Хэвлэсэн: (2009)

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
-н: Barner, S, зэрэг
Хэвлэсэн: (2007)

Approximating Succinct MaxSat.
-н: Schallhart, C, зэрэг
Хэвлэсэн: (2005)

Construction and SAT−based verification of Contextual Unfoldings
-н: Schwoon, S, зэрэг
Хэвлэсэн: (2011)

SAT-based scalable formal verification solutions /
-н: 262924 Ganai, Malay, зэрэг
Хэвлэсэн: (2007)

Efficient Method to Approximately Solve Retrial Systems with Impatience
-н: Jose Manuel Gimenez-Guzman, зэрэг
Хэвлэсэн: (2012-01-01)

Back to Basics: Solving Games with SAT
-н: QUER, S.
Хэвлэсэн: (2016-08-01)

Logic for fun : solving puzzles with SAT solvers
-н: Foo, Zhong Xian
Хэвлэсэн: (2016)

An Approximate Method for Solving Optimal Control Problems for Discrete Systems Based on Local Approximation of an Attainability Set
-н: V. A. Baturin
Хэвлэсэн: (2017-03-01)

Thermal Design and Verification of Spherical Scientific Satellite Q-SAT
-н: Yunhan He, зэрэг
Хэвлэсэн: (2021-01-01)

SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits
-н: Huiyu Tan, зэрэг
Хэвлэсэн: (2024-09-01)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
-н: Sabina Szymoniak, зэрэг
Хэвлэсэн: (2021-04-01)

Local Consistency and SAT−Solvers
-н: Jeavons, P, зэрэг
Хэвлэсэн: (2012)

Local Consistency and SAT-Solvers
-н: Petke, J, зэрэг
Хэвлэсэн: (2010)

Local consistency and SAT−solvers
-н: Jeavons, P, зэрэг
Хэвлэсэн: (2010)

Local consistency and SAT−solvers
-н: Jeavons, P, зэрэг
Хэвлэсэн: (2012)

Local Consistency and SAT-Solvers
-н: Jeavons, P, зэрэг
Хэвлэсэн: (2012)

Efficient CTL Verification via Horn Constraints Solving
-н: Tewodros A. Beyene, зэрэг
Хэвлэсэн: (2016-07-01)

Selection of search strategies for solving 3-SAT problems
-н: Pułka Andrzej
Хэвлэсэн: (2014-06-01)

Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving
-н: Robert Nieuwenhuis, зэрэг
Хэвлэсэн: (2021-01-01)

Investigation of a CubeSat in Orbit Anomaly through Verification on Ground
-н: Fabrizio Stesina, зэрэг
Хэвлэсэн: (2020-04-01)

Local multiquadric approximation for solving boundary value problems
-н: Lee, Chi King, зэрэг
Хэвлэсэн: (2014)

Solution of SAT problems with the adaptive-bias quantum approximate optimization algorithm
-н: Yunlong Yu, зэрэг
Хэвлэсэн: (2023-06-01)

Error metrics determination in functionally approximated circuits using SAT solvers.
-н: Sa'ed Abed, зэрэг
Хэвлэсэн: (2020-01-01)

Resolvable Networks—A Graphical Tool for Representing and Solving SAT
-н: Gábor Kusper, зэрэг
Хэвлэсэн: (2021-10-01)

Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS
-н: Xiaojuan Liao, зэрэг
Хэвлэсэн: (2023-08-01)

Occam in the specification and verification of microprocessors
-н: Roscoe, A
Хэвлэсэн: (1992)

The automated verification of timewise refinement
-н: Roscoe, A
Хэвлэсэн: (2013)

Solving the SAT Problem by Cell-Like P Systems with Channel States and Symport Rules
-н: Xiaoming Wan, зэрэг
Хэвлэсэн: (2023-01-01)

Verifying concurrent systems by approximation
-н: Antonino, P
Хэвлэсэн: (2018)

Efficiency analysis of SAT solvers in logic locking applications
-н: Liu, Zhiyuan
Хэвлэсэн: (2024)

Distributed verification and hardness of distributed approximation
-н: Sarma, Atish Das., зэрэг
Хэвлэсэн: (2013)

FYalSAT: High-Throughput Stochastic Local Search K-SAT Solver on FPGA
-н: Young-Kyu Choi, зэрэг
Хэвлэсэн: (2024-01-01)