38 search results - page 4 / 8 » Formal verification of practical MPI programs |
190
Voted
POPL
2007
ACM
15 years 12 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
80
Voted
ICDCSW
2000
IEEE
15 years 3 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
201
click to vote
PLDI
2009
ACM
16 years 9 days ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
82
Voted
DAC
2005
ACM
16 years 19 days ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
89
Voted
ATAL
2010
Springer
15 years 24 days ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...