Article

Free access

Verification of concurrent software with FLAVERS

Authors:

Gleb Naumovich,

Lori A. Clarke,

Leon J. Osterweil,

Matthew B. DwyerAuthors Info & Claims

ICSE '97: Proceedings of the 19th international conference on Software engineering

Pages 594 - 595

https://doi.org/10.1145/253228.253489

Published: 01 May 1997 Publication History

PDF eReader

References

[1]

Matthew Dwyer and Lori Clarke. Data Flow Analysis for Verifying Properties of Concurrent Programs. In Proc. of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 62-75, New Orleans, December 1994.

Digital Library

Google Scholar

[2]

Gleb N. Naumovich, Lori A. Clarke, and Lee J. Osterweil. Verification of Communication Protocols Using Data Flow Analysis. In Proc. of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 93-105, San Francisco, October 1996.

Digital Library

Google Scholar

[3]

Kurt M. Olender and Leon J. Osterweil Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation IEEE Transactions on Software Engineering, 16(3):268-280,199O

Digital Library

Google Scholar

[4]

Peri L. Tarr. Language Processing Toolset Prerelease Notes. Arcadia Document, UM-91-01, University of Massachusetts 1991.

Google Scholar

[5]

Peri L. Tarr and Lori A. Clarke. PLEIADES: An Object Management System for Software Engineering Environments. In Proc. of the First ACM SIG- SOFT Symposium on the Foundations of Software Engineering, pages 56-70, Los Angeles, December 1993.

Digital Library

Google Scholar

Cited By

View all

Khemakhem SDrira KJmaiel M(2011)Description, Classification and Discovery Approachesfor Software ComponentsModern Software Engineering Concepts and Practices10.4018/978-1-60960-215-4.ch008(196-219)Online publication date: 2011
https://doi.org/10.4018/978-1-60960-215-4.ch008
Yahav EFink S(2011)The SAFE ExperienceEngineering of Software10.1007/978-3-642-19823-6_3(17-33)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19823-6_3
Field JGoyal DRamalingam GYahav E(2005)Typestate verificationScience of Computer Programming10.1016/j.scico.2005.02.00458:1-2(57-82)Online publication date: 1-Oct-2005
https://dl.acm.org/doi/10.1016/j.scico.2005.02.004
Show More Cited By

Recommendations

Specification and automated verification of concurrent software systems
Efficient Verification of Sequential and Concurrent C Programs

There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet automated abstraction techniques such as predicate abstraction. ...
Soter: an automatic safety verifier for erlang
AGERE! 2012: Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions

This paper presents Soter, a fully-automatic program analyser and verifier for Erlang modules. The fragment of Erlang accepted by Soter includes the higher-order functional constructs and all the key features of actor concurrency, namely, dynamic and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '97: Proceedings of the 19th international conference on Software engineering

May 1997

713 pages

ISBN:0897919149

DOI:10.1145/253228

Chairman:
W. Richards Adrion
Univ. of Massachuetts, Amherst

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE97

Sponsor:

SIGSOFT
IEEE-CS\TCSE

ICSE97: 19th International Conference on Software Engineering

May 17 - 23, 1997

Massachusetts, Boston, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
264
Total Downloads

Downloads (Last 12 months)29
Downloads (Last 6 weeks)4

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Khemakhem SDrira KJmaiel M(2011)Description, Classification and Discovery Approachesfor Software ComponentsModern Software Engineering Concepts and Practices10.4018/978-1-60960-215-4.ch008(196-219)Online publication date: 2011
https://doi.org/10.4018/978-1-60960-215-4.ch008
Yahav EFink S(2011)The SAFE ExperienceEngineering of Software10.1007/978-3-642-19823-6_3(17-33)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19823-6_3
Field JGoyal DRamalingam GYahav E(2005)Typestate verificationScience of Computer Programming10.1016/j.scico.2005.02.00458:1-2(57-82)Online publication date: 1-Oct-2005
https://dl.acm.org/doi/10.1016/j.scico.2005.02.004
Chaki SClarke EGrumberg OOuaknine JSharygina NTouili TVeith H(2005)State/Event software verification for branching-time specificationsProceedings of the 5th international conference on Integrated Formal Methods10.1007/11589976_5(53-69)Online publication date: 29-Nov-2005
https://dl.acm.org/doi/10.1007/11589976_5
(2004)Automated, compositional and iterative deadlock detectionProceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design10.1109/MEMCOD.2004.1459856(201-210)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1109/MEMCOD.2004.1459856
Chaki SClarke EGroce AOuaknine JStrichman OYorav K(2004)Efficient Verification of Sequential and Concurrent C ProgramsFormal Methods in System Design10.1023/B:FORM.0000040026.56959.9125:2-3(129-166)Online publication date: 1-Sep-2004
https://dl.acm.org/doi/10.1023/B%3AFORM.0000040026.56959.91
Chaki SClarke EOuaknine JSharygina NSinha N(2004)State/Event-Based Software Model CheckingIntegrated Formal Methods10.1007/978-3-540-24756-2_8(128-147)Online publication date: 2004
https://doi.org/10.1007/978-3-540-24756-2_8
Field JGoyal DRamalingam GYahav E(2003)Typestate verificationProceedings of the 10th international conference on Static analysis10.5555/1760267.1760302(439-462)Online publication date: 11-Jun-2003
https://dl.acm.org/doi/10.5555/1760267.1760302
Field JGoyal DRamalingam GYahav E(2003)Typestate Verification: Abstraction Techniques and Complexity ResultsStatic Analysis10.1007/3-540-44898-5_25(439-462)Online publication date: 13-May-2003
https://doi.org/10.1007/3-540-44898-5_25
Nimmer JErnst M(2002)Invariant inference for static checkingACM SIGSOFT Software Engineering Notes10.1145/605466.60546927:6(11-20)Online publication date: 1-Nov-2002
https://dl.acm.org/doi/10.1145/605466.605469
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Specification and automated verification of concurrent software systems

Efficient Verification of Sequential and Concurrent C Programs

Soter: an automatic safety verifier for erlang