✦ LIBER ✦

Dynamic verification of C++ generic algorithms

✍ Scribed by Changqing Wang; Musser, D.R.

Book ID: 117872182
Publisher: IEEE
Year: 1997
Tongue: English
Weight: 138 KB
Volume: 23
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.588523

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic algorithmic verification of int

Symbolic algorithmic verification of intransitive generalized noninterference

✍ Zhou, CongHua; Liu, ZhiFeng; Wu, HaiLing; Chen, Song; Ju, ShiGuang 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 375 KB

Generation and Verification of Algorithm

Generation and Verification of Algorithms for Symbolic-Numeric Processing

✍ L. Kocbach; R. Liska 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 476 KB

Some large scale physical computations require algorithms performing symbolic computations with a particular class of algebraic formulas in a numerical code. Developing and implementing such algorithms in a numerical programming language is a tedious and error prone task. The algorithms can be devel

Formal Verification of Square Root Algor

Formal Verification of Square Root Algorithms

✍ John Harrison 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 87 KB

Verification of Physically Based Renderi

Verification of Physically Based Rendering Algorithms

✍ Christiane Ulbricht; Alexander Wilkie; Werner Purgathofer 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 710 KB

Formal verification of conflict detectio

Formal verification of conflict detection algorithms

✍ César Muñoz; Víctor Carreño; Gilles Dowek; Ricky Butler 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 212 KB

Timing verification of dynamic circuits

✍ Venkat, K.; Liang Chen; Ichiang Lin; Mistry, P.; Madhani, P. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 394 KB