First International Workshop on Larch; Endicott House in Dedham, Massachusetts; July 1992

第一届落叶松国际研讨会；

• 批准号: 9213475
• 负责人: Jeannette Wing
• 金额: $ 1万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-05-15 至 1992-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9213475&HistoricalAwards=false
• 关键词: First; International; Workshop; Larch; Endicott

The Larch Workshop is intended to bring together international users and developers of the Larch family of specification languages and tools. The three-day workshop, organized by Professors Ursula Martin (European coordinator) and Jeannette WIng (US coordinator) will be the first meeting ever of those who have over the past 11 years designed the Larch languages, built tool support for them, and used them to specify and reason about software and hardware systems. The group includes users and developers of the Larch Prover (LP), one of the Larch tools that distinguishes Larch from its competitors in formal methods. The invited participants include researchers from the United States and Europe who are active in the area of formal specification and verification. The workshop will be held at Endicott House, approximately 15 miles from MIT, in Dedham, Massachusetts. The award is pursuant to the NSF-ESPRIT agreement.

Larch 研讨会旨在将 Larch 系列规范语言和工具的国际用户和开发人员聚集在一起。 这次为期三天的研讨会由 Ursula Martin 教授（欧洲协调员）和 Jeannette WIng（美国协调员）组织，这将是过去 11 年来设计 Larch 语言、为其构建工具支持并使用 Larch 语言的人们的第一次会议。他们对软件和硬件系统进行指定和推理。 该小组包括 Larch Prover (LP) 的用户和开发人员，Larch Prover 是 Larch 工具之一，在形式化方法上将 Larch 与其竞争对手区分开来。 受邀参与者包括来自美国和欧洲的活跃于形式化规范和验证领域的研究人员。 该研讨会将在马萨诸塞州戴德姆市的 Endicott House 举行，距离麻省理工学院约 15 英里。 该奖项是根据 NSF-ESPRIT 协议授予的。