A specification-based approach to reasoning about pointers
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Simplifying reasoning about objects with Tako
Proceedings of the 2006 conference on Specification and verification of component-based systems
Incremental Benchmarks for Software Verification Tools and Techniques
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Specification and verification of web services transactions
Proceedings of the Fourth SIGMOD PhD Workshop on Innovative Database Research
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Automatically proving thousands of verification conditions using an SMT solver: an empirical study
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering
Proceedings of the 45th ACM technical symposium on Computer science education
Hi-index | 0.00 |