2016
17 references published this year.
Completeness of Verification System with Separation Logic for Recursive Procedures
Mahmudul Faisal Al Ameen (2016)
Introduction to software testing
Paul Ammann et al. (2016)
Specification and Verification of Contract-Based Applications
Davide Basile (2016)
Constructive geometry and the parallel postulate
Michael Beeson (2016) · Bulletin of Symbolic Logic
Concurrent separation logic
Stephen Brookes et al. (2016) · ACM SIGLOG News
Botornot: A system to evaluate social bots
Clayton Allen Davis et al. (2016) · 25th International Conference Companion on World Wide Web
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri et al. (2016) · ACM Transactions on Computational Logic
Cyber Operations and Gray Zones: Challenges for NATO
Oliver Fitton (2016) · Connections: The Quarterly Journal
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Stijn de Gouw et al. (2016) · Software and Systems Modeling
Completeness for a first-order abstract separation logic
Zhé Hóu et al. (2016) · 14th Asian Symposium on Programming Languages and Systems (APLAS)
Cybernetics, reflexivity and second-order science
Louis H. Kauffman (2016) · Constructivist Foundations
Proof automation for functional correctness in separation logic
Ewen Maclean et al. (2016) · Journal of Logic and Computation
Viper: A verification infrastructure for permission-based reasoning
Peter Müller et al. (2016) · Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17
Marine Corps Cyberspace Operations: The Need for Change
Jeffrey J. Patterson (2016)
Survey of inter-satellite communication for small satellite systems: Physical layer to network layer view
Radhika Radhakrishnan et al. (2016) · IEEE Communications Surveys & Tutorials
The effects of Internet usage and economic growth on CO2 emissions in OECD countries: A panel investigation
Mohammad Salahuddin et al. (2016) · Renewable and Sustainable Energy Reviews
Deductive Software Verification – The KeY Book
Mattias Ulbrich et al. (2016)