320 search results - page 9 / 64 » Coverage Metrics for Temporal Logic Model Checking |
106
Voted
SLP
1997
15 years 7 months ago
1997
142
Voted
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
180
Voted
JSW
2007
15 years 5 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...
177
Voted
ASE
2004
15 years 5 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...
153
Voted
ATAL
2005
Springer
15 years 11 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...