| | KeymaeraGratis verificatie-tool voor hybride systemen |
| Download nu | |
Keymaera Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Prijs:
- FREE
- Naam uitgever:
- Andre Platzer
- Uitgever website:
- http://symbolaris.com/meta/andre.html
- Besturingssystemen:
- Mac OS X
- Bestandsgrootte:
- 2 KB
Keymaera Tags
Keymaera Beschrijving
Gratis verificatie-tool voor hybride systemen Keymaera is een gratis hybride verificatietool voor hybride systemen die deductieve, echte algebraïsche en computer algebraïsche proestechnologieën combineert. KEYMAERA is een geautomatiseerd en interactief stellingspreiding voor een natuurlijke specificatie- en verificatie-logica voor hybride systemen. KEYMAERA ondersteunt Differential Dynamic Logic (DL) , een echte eerste-orde dynamische logica voor hybride programma's, een programma notatie voor hybride automaat. Voor het automatiseren van het verificatieproces implementeert Keymaaa een gegeneraliseerde vrije variabele reeks calculus en automatische bewijsstrategieën die de hybride systeemspecificatie symbolisch ontbinden. Vereisten: · Java
Keymaera Gerelateerde software
De helling
VRIJE SIMULUTIE waarbij u krachten, energie en andere acties verkent bij het duwen van een voorwerp op een helling ...
2.1 MB