-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Übersetzungen für „Bounded“ im Deutsch » Englisch-Wörterbuch (Springe zu Englisch » Deutsch)
Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)
Es werden heuristische Methoden vorgestellt, um Fehlerpfade in solchen Systemen zu finden, was wichtig ist, um den Entwurfsprozess der Systeme zu unterstützen.
Ein weiterer Beitrag ist eine Methode zur kompakten Repräsentation aussagenlogischer Formel als Menge von linearen pseudo-Booleschen Constraints.Dies ist unter Anderem deshalb nützlich, weil Aussagenlogik bei der Analyse von Transitionssystemen eine prominente Rolle spielt, und zwar im Gebiet des Bounded Model Checking.
Jussi Rintanen
www.informatik.uni-freiburg.deHeuristic methods for detecting error paths in such systems are presented, which is important for supporting the design process of the systems.
Another contribution is a method for representing propositional formulas compactly as a set of linear pseudo-Boolean constraints, which is useful, among other reasons, because propositional logic plays a prominent role in the analysis of transition systems, namely in the field of bounded model checking.
Jussi Rintanen
www.informatik.uni-freiburg.deIntegration von Deduktion und Model Checking zur Prüfung systemnaher Software
Die Integration von deduktiver Programmverifikation und Bounded Model Checking ( BMC ) ist Gegenstand aktueller Arbeiten in Zusammenarbeit mit der Arbeitsgruppe von Dr. C. Sinz.
Während die Verfahren zur deduktiven Verifikation neben der Anforderungsspezifikation eines Programms eine Vielzahl an Hilfen durch den Benutzer erfordert ( Schleifeninvarianten, Spezifikationen von Hilfsfunctionen etc. ), kommt BMC weitgehend ohne solchge Hilfen aus.
formal.iti.kit.eduIntegration of Deduction-Based Verification and Model Checking for Machine- Oriented Software
The integration of deductive software verification and bounded model checking ( BMC ) is subject of our current activities and is joint work together with the working group of Dr.C. Sinz.
Proving software correct using deductive verification methods needs — in addition to the requirement specification — a variety of interactions by the user of the tool ( e.g., giving loop invariants or specification of auxiliary functions ).
formal.iti.kit.eduMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.