Scholarlink

Spectabular is a model-based specification and analysis tool supporting tabular specifications. These allow specifications to be written naturally by considering cases and to be checked for totality, disjointness, definedness, possibility, and necessity. Tabular specifications are intended to be read and checked by domain experts. Spectabular is used to model and analyze the adaptive exterior light automotive case study proposed for ABZ’20.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

A Spectabular Model of an Automotive Adaptive Exterior Light System

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Emil Sekerinski

摘要

Spectabular is a model-based specification and analysis tool supporting tabular specifications. These allow specifications to be written naturally by considering cases and to be checked for totality, disjointness, definedness, possibility, and necessity. Tabular specifications are intended to be read and checked by domain experts. Spectabular is used to model and analyze the adaptive exterior light automotive case study proposed for ABZ’20.