2009
22 references published this year.
Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created
Wolfgang Ahrendt and others (2009) · FM 2009: Formal Methods · Springer
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt and others (2009) · Springer
A general framework for sound and complete Floyd-Hoare logics
Rob Arthan and others (2009) · ACM Transactions on Computational Logic · Association for Computing Machinery
Undecidability of first-order logic
Guram Bezhanishvili and others (2009) · New Mexico State University
Internet Optometry: Assessing the Broken Glasses in Internet Reachability
Randy Bush and others (2009) · Proceedings of the 9th ACM SIGCOMM conference on Internet measurement · ACM
Networking Self-Teaching Guide: OSI, TCP/IP, LAN's, MAN's, WAN's, Implementation, Management, and Maintenance
James Edwards and others (2009) · Wiley
Networking Self-Teaching Guide: OSI, TCP/IP, LANs, MANs, WANs, Implementation, Management, and Maintenance
James Edwards and others (2009) · Wiley
Proof assistants: History, ideas and future
Herman Geuvers (2009) · Sādhanā
From abstract rewriting systems to abstract proof systems
Clemens Grabmayer (2009) · arXiv
Cyberwarfare and Our Allies: The Importance of Theater Security Cooperation
Christopher V. Greene (2009) · Naval War College
seL4: Formal Verification of an OS Kernel
Gerwin Klein and others (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · Association for Computing Machinery
Rascal: A domain specific language for source code analysis and manipulation
Paul Klint and others (2009) · 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation · IEEE
Design patterns in separation logic
Neelakantan R. Krishnaswami and others (2009) · 4th International Workshop on Types in Language Design and Implementation · Association for Computing Machinery
From cyberspace to cyberpower: Defining the problem
Daniel T. Kuehl (2009) · Cyberpower and national security
An aeronautical data link security architecture overview
Mohamed-Slim Ben Mahmoud and others (2009) · 2009 IEEE/AIAA 28th Digital Avionics Systems Conference · IEEE
The development of mathematical logic from Russell to Tarski, 1900-1935
Paolo Mancosu and others (2009) · The Development of Modern Logic · Oxford University Press
A Certified Verifier for a Fragment of Separation Logic
Nicolas Marti and others (2009) · Information and Media Technologies
An Introduction to Separation Logic
John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security · IOS Press
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta and others (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
An investigation of the relationships between lines of code and defects
Hongyu Zhang (2009) · 2009 IEEE International Conference on Software Maintenance · IEEE
The real cost of software errors
Michael Zhivich and others (2009) · IEEE Security & Privacy