2006
9 references published this year.
Understanding command and control
David S. Alberts et al. (2006)
A Local Shape Analysis Based on Separation Logic
Dino Distefano et al. (2006) · Tools and Algorithms for the Construction and Analysis of Systems
Expressivity properties of Boolean BI through relational models
Didier Galmiche et al. (2006) · 26th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Gauss and non-Euclidean geometry
Jeremy Gray (2006) · Non-Euclidean geometries: János Bolyai memorial volume
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Ioannis T. Kassios (2006) · FM 2006: Formal Methods
Verifying properties of well-founded linked lists
Shuvendu K. Lahiri et al. (2006) · ACM SIGPLAN Notices
Hoare logic in the abstract
Ursula Martin et al. (2006) · 20th International Workshop on Computer Science Logic (CSL)
Verification condition generation via theorem proving
John Matthews et al. (2006) · 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)
Separation logic for higher-order store
Bernhard Reus et al. (2006) · 20th International Workshop on Computer Science Logic (CSL)