2488 search results - page 130 / 498 » An improvement in formal verification |
121
click to vote
PDSE
1998
15 years 2 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
118
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
110
click to vote
SP
1996
IEEE
15 years 5 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
95
Voted
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
103
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...