1005 search results - page 58 / 201 » Formal Software Development in MAYA |
164
Voted
JACM
2002
15 years 4 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
173
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
162
click to vote
HCI
2009
15 years 2 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
125
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
153
click to vote
ER
2008
Springer
15 years 6 months ago
2008
Springer
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...