𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of PULSAR+software

✍ Scribed by An. A. Tutnov; Al. A. Tutnov; E. E. Alekseev

Book ID
105566036
Publisher
Springer US
Year
1997
Tongue
English
Weight
294 KB
Volume
83
Category
Article
ISSN
1573-8205

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Tool verification software
Tool verification software
πŸ“‚ Article πŸ“… 1983 πŸ› Elsevier Science 🌐 English βš– 187 KB
Deductive software verification
Deductive software verification
✍ Jean-Christophe FilliΓ’tre πŸ“‚ Article πŸ“… 2011 πŸ› Springer 🌐 English βš– 183 KB
Practical verification of embedded softw
Practical verification of embedded software
✍ Straunstrup, J.; Andersen, H.R.; Hulgaard, H.; Lind-Nielsen, J.; Behrmann, G.; K πŸ“‚ Article πŸ“… 2000 πŸ› IEEE 🌐 English βš– 444 KB
Deductive verification of cryptographic
Deductive verification of cryptographic software
✍ JosΓ© Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; BΓ‘rbara Vieira πŸ“‚ Article πŸ“… 2010 πŸ› Springer 🌐 English βš– 501 KB
Automating software feature verification
Automating software feature verification
✍ Gerard J. Holzmann; Margaret H. Smith πŸ“‚ Article πŸ“… 2002 πŸ› Institute of Electrical and Electronics Engineers 🌐 English βš– 198 KB πŸ‘ 1 views