𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using temporal logic specifications to debug parallel programs

✍ Scribed by M. Frey; A. Weininger

Publisher
Elsevier Science
Year
1993
Weight
312 KB
Volume
39
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Using temporal logics of knowledge for s
Using temporal logics of knowledge for specification and verificationβ€”a case study
✍ Clare Dixon πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp

Interlock avoidance in transparent and d
Interlock avoidance in transparent and dynamic parallel program instrumentation using logical clocks
✍ W. Cai; K. Zhang; S.J. Turner; C. Sun πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 262 KB

A fundamental problem with run-time monitoring of parallel programs is the intrusion introduced by instrumenting the original program. In order to minimize the amount of intrusion in monitoring parallel programs, the logical clock approach (LCA) was proposed. It uses logical clocks to time and contr