2012
14 references published this year.
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt et al. (2012) · Journal of Computer and System Sciences
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann et al. (2012) · Electronic Proceedings in Theoretical Computer Science
Before we knew it: an empirical study of zero-day attacks in the real world
Leyla Bilge et al. (2012) · ACM Conference on Computer and Communications Security
Separation predicates: A taste of separation logic in first-order logic
François Bobot et al. (2012) · International Conference on Formal Engineering Methods
On the almighty wand
Rémi Brochenin et al. (2012) · Information and Computation
Program verification: Fundamental issues in computer science
Timothy T. R. Colburn et al. (2012)
HACMS: high assurance cyber military systems
Kathleen Fisher (2012) · Proceedings of the 2012 ACM Conference on High Integrity Language Technology
The science of programming
David Gries (2012)
Which mathematical logic is the logic of mathematics?
Jaakko Hintikka (2012) · Logica Universalis
A New Clock Network Synthesizer for Modern VLSI Designs
Jingwei Lu et al. (2012) · Integration, the VLSI Journal
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
Peter W. O'Hearn (2012) · Software Safety and Security: Tools for Analysis and Verification
An Overview of Software Defect Density: A Scoping Study
Syed Muhammad Ali Shah et al. (2012) · 2012 19th Asia-Pacific Software Engineering Conference
Second order logic or set theory?
Jouko Väänänen (2012) · Bulletin of Symbolic Logic
Data structures and algorithm analysis in Java
Mark Allen Weiss (2012)