'model-checking' Questions - SpiceQA

Questions Tags Users Badges

model-checking

14 Questions

Newest Active Unanswered Frequent

PROMELA: Would this be an example of a deadlock?

user_107709500

• asked Dec 18, 2018

4

1

1106

model-checking spin promela deadlock model

Error: VECTORSZ is too small

user_43812520

• asked Nov 22, 2017

2

1

350

model-checking spin promela formal-verification concurrency

Restricted boolean formulas for avoiding NP-completeness

user_9847860

• asked Sep 25, 2017

3

0

186

satisfiability model-checking logic boolean-logic

Can't verify with CBMC in Ubuntu c++ programs - compiler type_traits.h template specialization with wrong number of arguments

user_42207530

• asked Mar 24, 2016

3

1

277

cbmc model-checking g++ ubuntu c++

Prev
1
2 (current)

Hot Questions