通过具有共同逻辑的形式语言的按照规范的技术系统

通过具有共同逻辑的形式语言的按照规范的技术系统。本公开的第一方面涉及一种计算机实现的用于制造按照规范的技术系统、尤其按照规范的至少部分自主驾驶的车辆或其一部分的方法，包括：接收来自所述技术系统的至少一个测试的时间相关数据；将所述时间相关数据翻译为第一抽象层次上的用第一形式语言的第一规范，其中所述第一形式语言具有通过从所述第一形式语言到逻辑的第一解释映射定义的第一语义；接收第二抽象层次上的用第二形式语言的第二规范，其中所述第二形式语言具有通过从所述第二形式语言到所述逻辑的第二解释映射定义的第二语义；以及基于逻辑蕴涵检查所述第一规范和所述第二规范相对于彼此如何表现。