ExpliSAT: Guiding SAT−Based Software Verification with Explicit States

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States

Bibliographic Details
Main Authors:	Barner, S, Eisner, C, Glazberg, Z, Kroening, D, Rabinovitz, I
Format:	Conference item
Published:	Springer 2007

Similar Items

Construction and SAT−based verification of Contextual Unfoldings
by: Schwoon, S, et al.
Published: (2011)

An efficient SAT encoding of circuit codes
by: Chebiryak, Y, et al.
Published: (2008)

SAT-based scalable formal verification solutions /
by: 262924 Ganai, Malay, et al.
Published: (2007)

SAT−based Summarisation for Boolean Programs
by: Basler, G, et al.
Published: (2007)

Clausal Forms in MaxSAT and MinSAT
by: Chu Min Li, et al.
Published: (2022-11-01)

Automatic generation of propagation complete SAT encodings
by: Brain, M, et al.
Published: (2015)

A SAT−Based Algorithm for Reparameterization in Symbolic Simulation
by: Chauhan, P, et al.
Published: (2004)

A SAT-based algorithm for reparameterization in symbolic simulation
by: Chauhan, P, et al.
Published: (2004)

Bob Miller's SAT math for the clueless : SAT math /
by: Miller, Robert, 1943-
Published: (1999)

AvatarSAT: An Auto-tuning Boolean SAT Solver
by: Ganesh, Vijay, et al.
Published: (2009)

A hierarchy of tractable subclasses for SAT and counting SAT problems
by: Rinard, Martin C., et al.
Published: (2010)

Software Integration of an IMU Sensor to a CubeSat Platform Based on CSP (CubeSat Space Protocol)
by: Sergio-Fernando Barrera-Molano, et al.
Published: (2023-06-01)

Predicate abstraction of ANSI-C programs using SAT
by: Clarke, E, et al.
Published: (2004)

Predicate Abstraction of ANSI–C Programs using SAT
by: Clarke, E, et al.
Published: (2015)

SATABS: SAT−based Predicate Abstraction for ANSI−C
by: Clarke, E, et al.
Published: (2005)

Predicate Abstraction of ANSI-C Programs Using SAT.
by: Clarke, E, et al.
Published: (2004)

Predicate Abstraction of ANSI-C Programs Using SAT
by: Clarke, E, et al.
Published: (2004)

SAT in silence.
by: Brockdorff, N
Published: (2009)

Fantomski sat
by: James Meetze, et al.
Published: (2020-12-01)

The CanSat Compendium: A Review of Scientific CanSats
by: Carrington Chun, et al.
Published: (2023-06-01)

Research on the Solution Space of 2-SAT and Max-2-SAT
by: Li Bai-Feng, et al.
Published: (2016-01-01)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
by: Sabina Szymoniak, et al.
Published: (2021-04-01)

Investigation of a CubeSat in Orbit Anomaly through Verification on Ground
by: Fabrizio Stesina, et al.
Published: (2020-04-01)

Evaluation of novel inactivated vaccines for the SAT 1, SAT 2 and SAT 3 serotypes of foot-and-mouth disease in pigs
by: Hye-Eun Jo, et al.
Published: (2019-12-01)

Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers
by: Zinovik, I, et al.
Published: (2015)

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers.
by: Zinovik, I, et al.
Published: (2008)

Design & development of CanSat with capability of inter-CanSat communication
by: Teng, Yu Hui.
Published: (2013)

CubeSat Development for Lightning Flashes Detection: RaioSat Project
by: Antonio Cassiano Julio Filho, et al.
Published: (2020-11-01)

CubeSat Development for Lightning Flashes Detection: RaioSat Project
by: Antonio Cassiano Julio Filho, et al.
Published: (2020-11-01)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
by: Konstantin Chukharev, et al.
Published: (2022-01-01)

Sat și oraș
by: Nicolae Iorga
Published: (1990-12-01)

Formalization of Abstract State Transition Systems for SAT
by: Filip Maric, et al.
Published: (2011-09-01)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
by: Horn, A, et al.
Published: (2015)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
by: Horn, A, et al.
Published: (2015)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
by: Antonino, P, et al.
Published: (2019)

Approximating Succinct MaxSat.
by: Schallhart, C, et al.
Published: (2005)

Applications of a CloudSat-TRMM and CloudSat-GPM Satellite Coincidence Dataset
by: F. Joseph Turk, et al.
Published: (2021-06-01)

In-Orbit Attitude Determination of the UVSQ-SAT CubeSat Using TRIAD and MEKF Methods
by: Adrien Finance, et al.
Published: (2021-11-01)

Development of a flight software framework for student CubeSat missions
by: Olman D. Quiros-Jimenez, et al.
Published: (2019-12-01)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
by: Konstantin Chukharev, et al.
Published: (2020-01-01)