451 search results - page 30 / 91 » Engineering Abstractions in Model Checking and Testing |
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
COOP
2004
13 years 9 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
FASE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
ILC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
QSIC
2003
IEEE
14 years 28 days ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...