4211 search results - page 545 / 843 » A formal approach to MASQ |
172
click to vote
ESOP
2005
Springer
16 years 7 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
203
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
153
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
172
click to vote
FM
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
203
click to vote
FMCO
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...