Consistency management in a project management assistant
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Modular verification of software components in C
Proceedings of the 25th International Conference on Software Engineering
Predicting problems caused by component upgrades
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Efficient Verification of Sequential and Concurrent C Programs
Formal Methods in System Design
Simplify: a theorem prover for program checking
Journal of the ACM (JACM)
Highlevel verification of control intensive systems using predicate abstraction
Formal methods and models for system design
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Java Programs with Interacting Analysis Plugins
Electronic Notes in Theoretical Computer Science (ENTCS)
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Verifying heap-manipulating programs in an SMT framework
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Exploiting shared structure in software verification conditions
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Software model checking without source code
Innovations in Systems and Software Engineering
The two variable per inequality abstract domain
Higher-Order and Symbolic Computation
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
On array theory of bounded elements
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
A logic and decision procedure for predicate abstraction of heap-manipulating programs
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
SAT-Based software certification
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Verifying concurrent message-passing c programs with recursive calls
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
JAG: JML annotation generation for verifying temporal properties
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
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
Reducing the barriers to writing verified specifications
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Array Theory of Bounded Elements and its Applications
Journal of Automated Reasoning
| Hi-index | 0.00 |