819 search results - page 11 / 164 » Using Assumptions to Distribute CTL Model Checking |
99
Voted
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
88
Voted
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
111
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
131
click to vote
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
WABI
2007
Springer
15 years 6 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...