886 search results - page 48 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
162
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
149
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
143
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
142
Voted
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
141
Voted
FM
2008
Springer
15 years 6 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...