Analysis of techniques in the assessment of ultra-reliable computerized systems
ACM SIGSOFT Software Engineering Notes
Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
Verifying the SRT Division Algorithm Using Theorem Proving Techniques
Formal Methods in System Design
Modular Verification of SRT Division
Formal Methods in System Design
A manifesto for the computational method
Theoretical Computer Science
Structural Embeddings: Mechanization with Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Improved Boolean function hashing based on multiple-vertex dominators
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Floating-Point verification using theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Hi-index | 0.00 |