499 search results - page 11 / 100 » LTL satisfiability checking |
179
Voted
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-fo...
196
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
147
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
145
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
138
Voted
ISOLA
2007
Springer
16 years 15 days ago
2007
Springer