--- res: bibo_abstract: - 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.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Arindam foaf_name: Chakrabarti, Arindam foaf_surname: Chakrabarti - foaf_Person: foaf_givenName: Luca foaf_name: De Alfaro, Luca foaf_surname: De Alfaro - foaf_Person: foaf_givenName: Thomas A foaf_name: Henzinger, Thomas A foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000−0002−2985−7724 - foaf_Person: foaf_givenName: Marcin foaf_name: Jurdziński, Marcin foaf_surname: Jurdziński - foaf_Person: foaf_givenName: Freddy foaf_name: Mang, Freddy foaf_surname: Mang bibo_doi: 10.1007/3-540-45657-0_35 bibo_volume: 2404 dct_date: 2002^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/ 9783540439974 dct_language: eng dct_publisher: Springer@ dct_title: Interface compatibility checking for software modules@ ...