✦ LIBER ✦

MOVE — a verifying tool for modular software

✍ Scribed by Bogdan W. Wiszniewski

Publisher: Elsevier Science
Year: 1984
Weight: 396 KB
Volume: 14
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(84)90009-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A quantitative software analysis tool fo

A quantitative software analysis tool for verifying 3-d dose calculation programs

✍ B. Harms William; A. Low Daniel; A. Purdy James 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 167 KB

A logic for describing, not verifying, s

A logic for describing, not verifying, software

✍ David Lorge Parnas 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 998 KB

A tool for software and hardware evaluat

A tool for software and hardware evaluation

✍ Peter Kokol 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 242 KB

A tool for syntax directed software desi

A tool for syntax directed software design

✍ Jürgen Lampe 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 334 KB

A Fast Modular Semi-Lagrangian Method fo

A Fast Modular Semi-Lagrangian Method for Moving Interfaces

✍ John Strain 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 404 KB

A fast modular numerical method for solving general moving interface problems is presented. It simplifies code development by providing a black-box solver which moves a given interface one step with given normal velocity. The method combines an efficiently redistanced level set approach, a problem-i

TTL: a modular language for hardware/sof

TTL: a modular language for hardware/software systems design

✍ Vincenza Carchiolo; Michele Malgeri; Giuseppe Mangioni 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 334 KB

The development of tools for the design of both hardware and software systems draws great benefits from the use of formal methods, especially if they offer a descriptive capacity which covers real applications. On the basis of the T-LOTOS language, a language called TTL has been developed, which add