𝔖 Bobbio Scriptorium
✦   LIBER   ✦

PC-Rimst - a tool for validating concurrent program designs

✍ Scribed by Antti Valmari

Publisher
Elsevier Science
Year
1988
Weight
927 KB
Volume
24
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A deadlock detection tool for concurrent
A deadlock detection tool for concurrent Java programs
✍ Claudio Demartini; Radu Iosif; Riccardo Sisto πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 160 KB πŸ‘ 2 views

This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model

Concurrent validity of the MMPI-A in a c
Concurrent validity of the MMPI-A in a counseling program for juvenile offenders
✍ Edward A. Toyer; Nathan C. Weed πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 68 KB πŸ‘ 3 views

This study was conducted to examine the concurrent validity of the MMPI-A (Minnesota Multiphasic Personality Inventory-Adolescent) in an adolescent offender setting. From a sample of 50 court-adjudicated youths participating in an outpatient counseling program, 42 valid MMPI-A profiles were obtained