3799 search results - page 508 / 760 » An Engineering Approach to Formal Methods |
171
click to vote
FM
2005
Springer
16 years 4 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...
201
click to vote
FMCO
2005
Springer
16 years 4 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...
176
click to vote
IFL
2005
Springer
16 years 4 days ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
167
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
The paper describes the architecture of Brown University’s agent, Botticelli, a finalist in the 2003 Trading Agent Competition in Supply Chain Management (TAC SCM). In TAC SCM,...
171
click to vote
CAV
2004
Springer
16 years 1 days ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...