1239 search results - page 80 / 248 » Applying Model Checking to Concurrent UML Models |
144
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
105
Voted
DALT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
115
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
129
Voted
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
121
click to vote
FORTE
2004
15 years 4 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...