136 search results - page 4 / 28 » Assume-Guarantee Verification of Concurrent Systems |
122
Voted
REX
1993
15 years 7 months ago
1993
95
Voted
FMSD
2008
15 years 3 months ago
2008
157
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
131
Voted
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
142
Voted
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...