𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Functional programming languages for verification tools: a comparison of StandardMLandHaskell

✍ Scribed by Martin Leucker; Thomas Noll; Perdita Stevens; Michael Weber

Publisher
Springer
Year
2005
Tongue
English
Weight
222 KB
Volume
7
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

LORETO: a tool for reducing state explos
LORETO: a tool for reducing state explosion in verification of LOTOS programs
✍ Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 171 KB πŸ‘ 1 views

LOTOS is a formal specification language for concurrent and distributed systems. Basic LOTOS is the version of LOTOS without value-passing. A widely used approach to the verification of temporal properties is model checking. Often, in this approach the formal specification is translated into a label

Evaluation of hemispheric dominance for
Evaluation of hemispheric dominance for language using functional MRI: A comparison with positron emission tomography
✍ Jinhu Xiong; Shobini Rao; Jia-Hong Gao; Marty Woldorff; Peter T. Fox πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 437 KB

The utility of a conventional (i.e., nonecho-planar) functional magnetic resonance imaging (fMRI) technique to determine hemispheric dominance for language was assessed using a semantic generation task in which subjects were presented with a series of nouns and generated aloud a verb for each one. A