--- _id: '4563' abstract: - lang: eng text: We present a formal methodology and tool for uncovering errors in the interaction of software modules. Our methodology consists of a suite of languages for defining software interfaces, and algorithms for checking interface compatibility. We focus on interfaces that explain the method-call dependencies between software modules. Such an interface makes assumptions about the environment in the form of call and availability constraints. A call constraint restricts the accessibility of local methods to certain external methods. An availability constraint restricts the accessibility of local methods to certain states of the module. For example, the interface for a file server with local methods open and read may assert that a file cannot be read without having been opened. Checking interface compatibility requires the solution of games, and in the presence of availability constraints, of pushdown games. Based on this methodology, we have implemented a tool that has uncovered incompatibilities in TinyOS, a small operating system for sensor nodes in adhoc networks. acknowledgement: This research was supported in part by the AFOSR grant F49620-00-1-0327, the DARPA grant F33615-00-C-1693, the MARCO grant 98-DT-660, the NSF grants CCR-9988172, CCR-0085949, CCR-0132780, the SRC grant 99-TJ-683, and the Polish KBN grant 7-T11C-027-20. alternative_title: - LNCS article_processing_charge: No author: - first_name: Arindam full_name: Chakrabarti, Arindam last_name: Chakrabarti - first_name: Luca full_name: De Alfaro, Luca last_name: De Alfaro - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Marcin full_name: Jurdziński, Marcin last_name: Jurdziński - first_name: Freddy full_name: Mang, Freddy last_name: Mang citation: ama: 'Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. Interface compatibility checking for software modules. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:428-441. doi:10.1007/3-540-45657-0_35' apa: 'Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 428–441). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_35' chicago: Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35. ieee: A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441. ista: 'Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. 2002. Interface compatibility checking for software modules. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 428–441.' mla: Chakrabarti, Arindam, et al. “Interface Compatibility Checking for Software Modules.” Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35. short: A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 428–441. conference: end_date: 2002-07-31 location: Copenhagen, Denmark name: 'CAV: Computer Aided Verification' start_date: 2002-07-27 date_created: 2018-12-11T12:09:30Z date_published: 2002-06-19T00:00:00Z date_updated: 2023-06-05T07:38:10Z day: '19' doi: 10.1007/3-540-45657-0_35 extern: '1' intvolume: ' 2404' language: - iso: eng month: '06' oa_version: None page: 428 - 441 publication: Proceedings of the 14th International Conference on Computer Aided Verification publication_identifier: isbn: - ' 9783540439974' publication_status: published publisher: Springer publist_id: '147' quality_controlled: '1' scopus_import: '1' status: public title: Interface compatibility checking for software modules type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 2404 year: '2002' ...