Skip to content
STIMSMITH
20 results

Model Checking

 Concept
Concept

bounded model checking

 Concept
Concept

Model Checking

 Technique
Technique

Bounded Model Checking

 Technique
Technique

Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking

 Paper
Paper

Bounded Model Checking (BMC)

 Technique
Technique

SAT-based Bounded Model Checking

 Technique
Technique

decompositional model checking

 Technique
Technique

SMT-based Bounded Model Checking

 Technique
Technique

Unbounded Model Checking

 Technique
Technique

HW/SW Co-Verification using Bounded Model Checking (Große et al., 2006)

 Paper
Paper

Stateless Model Checking

 Technique
Technique

model checking based test generation

 Technique
Technique

Functional Test Generation using SAT-based Bounded Model Checking

 Paper
Paper

SAT-based Model Checking

 Concept
Concept

Model Checking for Test Generation

 Technique
Technique

SAT-based bounded model checking

 Concept
Concept

SMT-based Bounded Model Checking for RISC-V Control Logic

 Paper
Paper

State-based Model Checking

 Technique
Technique

Unbounded Model Checking

 Concept
Concept