Keymaera. Un potente strumento di verifica progettato per essere utilizzato da sistemi ibridi che includono deduttivi, veri algebr ...
Scarica ora

Keymaera. Classifica e riepilogo

Keymaera. Tag

Keymaera. Descrizione

KeyMaera consente di combinare le tecnologie utilizzate da più applicazioni al fine di dimostrare teoremi e verifiche logiche. È un sistema di prover automatico che supporta i sistemi ibridi e i tipi di ingressi multipli. Il programma può gestire equazioni differenziali, disuguaglianze e sistemi di input discreti o continui non deterministici.

Keymaera. Software correlato