Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aaron Tomb
Formal Verification of kLIBC With the WP Frama-C Plug-In
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of a Vehicle-To-Vehicle (V2V) Messaging System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Static Versus Dynamic Verification in Why3, Frama-C and SPARK 2014
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Formal Verification of TLS Network Packet Processing Written in C
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Formal Verification of Netlog Protocols
Formal Verification of Hybrid Systems
Formal Verification of Evolutionary Changes
Static Verification of Wireless Sensor Networks With Formal Methods
Formal Specification and Verification
