The KeY Approach最新文献

筛选

英文中文

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_15

Richard Bubel

引用次数: 10

Proof Reuse 证明重用

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_13

V. Klebanov

引用次数: 6

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_9

Wojciech Mostowski

引用次数: 2

Formal Specification 正式规范

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_5

A. Roth, P. Schmitt

引用次数: 29

Proof Obligations 证明的义务

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_8

A. Roth

引用次数: 0

Natural Language Specifications 自然语言规范

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_7

Kristofer Johannisson

引用次数: 5

Proving by Induction 归纳法证明

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_11

Angela Wallenburg

引用次数: 1

Dynamic Logic 动态逻辑

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_3

Bernhard Beckert, V. Klebanov, Steffen Schlager

引用次数: 0

Using KeY 使用的关键

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_10

Wolfgang Ahrendt

引用次数: 4

Construction of Proofs 证明的构造

The KeY Approach Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-69061-0_4

Philipp Rümmer

引用次数: 2

下一页尾页