2282 search results - page 249 / 457 » Active property checking |
145
Voted
ICSE
2004
IEEE-ACM
16 years 5 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
148
click to vote
SOSP
2007
ACM
16 years 2 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
174
Voted
PADS
2009
ACM
15 years 12 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
113
click to vote
ESOP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
159
Voted
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...