2005
14 references published this year.
Symbolic Execution with Separation Logic
Josh Berdine and others (2005) · Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings · Springer
Permission accounting in separation logic
Richard Bornat and others (2005) · Proceedings of the 32nd ACM Symposium on Principles of Programming Languages
A Survey of BGP Security
Kevin Butler and others (2005)
From separation logic to first-order logic
Cristiano Calcagno and others (2005) · 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer
C2 Policy Evolution at the US Department of Defense. WWMCCS to a Unified Military Command Capability
David Dick and others (2005) · 10th International Command and Control Research and Technology Symposium: The Future of C2
Richard Dedekind (1888) and Giuseppe Peano (1889), booklets on the Foundations of Arithmetic
José Ferreirós (2005) · Landmark Writings in Western Mathematics 1640-1940 · Elsevier
Relating proof systems for recursive types
Clemens Grabmayer (2005) · Vrije Universiteit Amsterdam
Realising the Benefits of Formal Methods
Anthony Hall (2005) · 7th International Conference on Formal Engineering Methods (ICFEM) · Springer
Theories of arithmetics in finite models
Michał Krynicki and others (2005) · The Journal of Symbolic Logic · Association for Symbolic Logic
Modeling Adaptive Middleware and Its Applications to Military Tactical Datalinks
Jason T. Lawson (2005)
Local reasoning for Java
Matthew J. Parkinson (2005) · University of Cambridge, Computer Laboratory
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic
Tom Ridge and others (2005) · Theorem Proving in Higher Order Logics · Springer
Model completeness of o-minimal structures expanded by Dedekind cuts
Marcus Tressl (2005) · The Journal of Symbolic Logic · Cambridge University Press
A formal software requirements specification method for digital nuclear plant protection systems
Junbeom Yoo and others (2005) · Journal of Systems and Software