✦ LIBER ✦

Automated verification of refinement laws

✍ Scribed by Peter Höfner; Georg Struth; Geoff Sutcliffe

Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 411 KB
Volume: 55
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-009-9151-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refinement verification of the lazy cach

Refinement verification of the lazy caching algorithm

✍ Wim H. Hesselink 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 323 KB

Experimental verification of optical law

Experimental verification of optical laws of non-linear reflection

✍ N. Bloembergen; J. Ducuing 📂 Article 📅 1963 🏛 Elsevier Science ⚖ 199 KB

An algebraic treatment of procedure refi

An algebraic treatment of procedure refinement to support mechanical verification

✍ Ralph-Johan Back; Viorel Preoteasa 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 195 KB

The Variety of Variables in Automated Re

The Variety of Variables in Automated Real-Time Refinement

✍ Luke Wildman; Colin Fidge; David Carrington 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 213 KB

Automated verification of the VLSI desig

Automated verification of the VLSI design using mock cells

✍ M.A. Ward 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 134 KB

Association of Humic Substances: Verific

Association of Humic Substances: Verification of Lambert-Beer Law

✍ Langhals, H. ;Abbt-Braun, G. ;Frimmel, F. H. 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 488 KB

The precision UV/Vis-absorption spectra of a naturally occurring aquatic humic substance were measured in the range of concentration 0.003 to 1.4 g/L DOC (dissolved organic carbon). Lambert-Beer law is well obeyed at low concentrations whereas deviations have been observed for DOC concentrations abo