Jbernstein JAVA-toepassing om technieken voor niet-lineaire beperkingcontrole te verkennen
Download nu

Jbernstein Rangschikking & Samenvatting

Jbernstein Tags

controleren oplossen dwang constraint solver

Jbernstein Beschrijving

Jbernstein is een applicatie waarmee gebruikers kunnen controleren of een polynomiale beperking voor alle variabelen binnen hun domein vasthoudt. Jbernstein kan worden gebruikt om de synthese van cyber-fysieke systemen te verifiëren, waar modellen niet-lineair zijn. Jbernstein is ontwikkeld met behulp van de Java-programmeertaal en kan worden uitgevoerd op Mac OS X, Windows en Linux.

Jbernstein Gerelateerde software