Page Content
Temperature Control Service
| Property to Proof | KeYmaera X Model | KeYmaera X Proof | KeYmaera X Tactic |
|---|---|---|---|
| Transformed Model | Download .kyx | - | - |
| TemperatureRange | Download .kyx | Download .kyp | Download .kyt |
| NoRapidSwitching | Download .kyx | Download .kyp | Download .kyt |
Temperature Control System
| Property to Proof | KeYmaera X Model | KeYmaera X Proof | KeYmaera X Tactic |
|---|---|---|---|
| Transformed Model | Download .kyx | - | - |
| TemperatureRange | Download .kyx | Download .kyp | Download .kyt |
| NoRapidSwitching | Download .kyx | - | - |
| Property to Proof | KeYmaera X Model | KeYmaera X Proof | KeYmaera X Tactic |
|---|---|---|---|
| Transformed Model | Download .kyx | - | - |
| TemperatureRange | Download .kyx | Download .kyp | Download .kyt |
| NoRapidSwitching | Download .kyx | Download .kyp | Download .kyt |
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe
Auxiliary Functions
- Font size:
