𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using Assumptions to Distribute CTL Model Checking

✍ Scribed by Luboš Brim; Jitka Crhová; Karen Yorav

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
216 KB
Volume
68
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using Assumptions to Distribute Alternat
Using Assumptions to Distribute Alternation Free μ-Calculus Model Checking
✍ Luboš Brim; Jitka Žídková 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 206 KB

In this work we extend the approach used in [6] to perform distributed-memory AFMC model checking. The part of a system held in one computer is modeled as a Kripke structure with border states. Moreover, we use assumptions about the truth of a formula in each state. Each process then repeatedly exec

An integrated benchmarking approach to d
An integrated benchmarking approach to distribution center performance using DEA modeling
✍ Anthony Ross; Cornelia Droge 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 121 KB

## Abstract This research proposes an integrated benchmarking framework illustrated in the context of a large supply chain system comprised of 102 distribution centers (DCs). We employ recent extensions of data envelopment analysis while addressing difficulties often associated with empirical data