𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal design verification of digital circuitry

✍ Scribed by Ricky W. Butler; Jon A. Sjogren

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
875 KB
Volume
32
Category
Article
ISSN
0951-8320

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Formal Verification in the Design of Ges
Formal Verification in the Design of Gestural Interaction
✍ G.J. Doherty; G. Faconti; M. Massink πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 203 KB

This paper shows how formal modelling can be used in the design of a dynamic gesture language defined by sequences of poses. It discusses two models at different levels of abstraction dealing with important usability issues of the language such as ambiguity and overlap in the recognition of gestures

Supporting the formal verification of ma
Supporting the formal verification of mathematical texts
✍ Claus Zinn πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully