320 search results - page 9 / 64 » Coverage Metrics for Temporal Logic Model Checking |
SLP
1997
15 years 3 months ago
1997
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
121
click to vote
JSW
2007
15 years 1 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
124
click to vote
ASE
2004
15 years 1 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
112
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...