383 search results - page 64 / 77 » Testing Concurrent Systems: A Formal Approach |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
PLDI
2000
ACM
15 years 1 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
AIME
2007
Springer
15 years 3 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
110
click to vote
SACMAT
2010
ACM
15 years 2 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
ERLANG
2004
ACM
15 years 2 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...