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.

落叶松研讨会旨在汇集国际 落叶松规范语言族的使用者和开发者 和工具. 为期三天的研讨会，由Ursula教授组织 马丁（欧洲协调员）和珍内特温（美国协调员）将 这是过去11年来 设计了落叶松语言，为它们构建了工具支持，并使用 他们指定和原因有关的软件和硬件系统。 的 组包括用户和落叶松证明者（LP）的开发人员， 落叶松工具，区分落叶松从它的竞争对手， 形式化方法 受邀的参与者包括来自美国的研究人员 在正式规范领域活跃的国家和欧洲 和核查。 研讨会将在恩迪科特楼举行， 距离麻省理工学院大约15英里，在马萨诸塞州的戴德汉姆。 该奖项 根据NSF-ESPRIT协议。