Verification of concurrent software with FLAVERS

Authors:
Gleb Naumovich;Lori A. Clarke;Leon J. Osterweil;Matthew B. Dwyer
Affiliations:
Computer Science Department, University of Massachusetts, Amherst, Massachusetts;Computer Science Department, University of Massachusetts, Amherst, Massachusetts;Computer Science Department, University of Massachusetts, Amherst, Massachusetts;Department of Computing and Information Sciences, Kansas State University, Manhattan, KS
Venue:
ICSE '97 Proceedings of the 19th international conference on Software engineering
Year:
1997

Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation

IEEE Transactions on Software Engineering
PLEIADES: an object management system for software engineering environments

SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Data flow analysis for verifying properties of concurrent programs

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Verification of communication protocols using data flow analysis

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering

A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Dynamically discovering likely program invariants to support program evolution

Proceedings of the 21st international conference on Software engineering
Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Automatic generation of program specifications

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Invariant inference for static checking:

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Invariant inference for static checking: an empirical evaluation

ACM SIGSOFT Software Engineering Notes
Efficient Verification of Sequential and Concurrent C Programs

Formal Methods in System Design
Typestate verification: abstraction techniques and complexity results

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Typestate verification: abstraction techniques and complexity results

SAS'03 Proceedings of the 10th international conference on Static analysis
State/Event software verification for branching-time specifications

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Hi-index	0.00