https://ira.informatik.uni-freiburg.de/phorum/list.php?35 Tue, 17 Dec 2024 10:32:35 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2187,2187#msg-2187 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2187,2187#msg-2187 (Ich würde gerne so langsam meine Semesterferien planen...)
MFG j_b]]> j_b Verifikation, Zuverlässigkeit und Test WS 2006/07 Mon, 05 Feb 2007 11:44:02 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2167,2167#msg-2167 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2167,2167#msg-2167
was there a lecture on Wednesday 20.12.2006?

All thanks
ahmad]]> Ahmad Verifikation, Zuverlässigkeit und Test WS 2006/07 Fri, 22 Dec 2006 16:32:44 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2160,2160#msg-2160 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2160,2160#msg-2160 I have question reagrds the signatures:

if I have two functions: f1(x1,x2,x3) and f2(x1,x2,x3), and the signature are:

1-for f1, the signatures are as follows:

x1=2
x2=4
x3=7

2-for f2, the signature are as follows:

x1=4
x2=2
x3=8

so the signature are not "paarweise verschieden", the question is that the two functions have not the same characteristics and functionality and the ROBDD for both of them are different?


this means that before make any Equivalence Test between implemenation and specification, we need to check the signatures, if they have different values then there is no need any more for building ROBDD and checking the equivalence?

All thanks.]]> Ahmad Verifikation, Zuverlässigkeit und Test WS 2006/07 Mon, 18 Dec 2006 17:51:01 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2158,2158#msg-2158 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2158,2158#msg-2158
I would like to ask some questions regards the course:

1- How could someone register for the examination?
2- Is it written or oral exam?
3- I am looking for the answer of the exercise sheets, will they be published at the end of the course?

All regards,
Ahmad]]> Ahmad Verifikation, Zuverlässigkeit und Test WS 2006/07 Mon, 18 Dec 2006 17:53:15 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2155,2155#msg-2155 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2155,2155#msg-2155
Die Folien zur Vorlesung befinden sich ab jetzt nur noch auf
[electures.informatik.uni-freiburg.de]

Grüße
Tobias Nopper]]> Tobias Nopper Verifikation, Zuverlässigkeit und Test WS 2006/07 Tue, 23 Jan 2007 16:31:41 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2147,2147#msg-2147 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2147,2147#msg-2147
Hier wie versprochen die Algorithmen zu Blatt 4.

Grüße
Tobias Nopper]]> Tobias Nopper Verifikation, Zuverlässigkeit und Test WS 2006/07 Wed, 06 Dec 2006 23:16:08 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2145,2145#msg-2145 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2145,2145#msg-2145 Zwei Fragen:

1) Die Folien sind leider nur bis Seite 15 annotiert.
Is es möglich die aktuellen annotierten Folien ins Netz zu stellen?

2) Findet morgen die Vorlesung statt oder gibts stattdessen eine 3 stündige Übung?

Gruß,
Christoph]]> Christoph Verifikation, Zuverlässigkeit und Test WS 2006/07 Tue, 05 Dec 2006 21:58:06 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2135,2135#msg-2135 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2135,2135#msg-2135 I would like to ask, if the last lecture video (15.Nov.2006) is online? I wander if there was a tutorial session or lecture session last Wednesday.

All regards]]> Ahmad Verifikation, Zuverlässigkeit und Test WS 2006/07 Sun, 19 Nov 2006 23:12:21 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2130,2130#msg-2130 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2130,2130#msg-2130
Ich weiß leider nicht mehr, ob es in der Vorlesung/Übung schonmal gesagt wurde.

Wird es Musterlösungen zu den Übungsblättern geben?

Gruß


Markus]]> markus Verifikation, Zuverlässigkeit und Test WS 2006/07 Sat, 11 Nov 2006 16:27:08 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2116,2116#msg-2116 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2116,2116#msg-2116
ich weiß, dass es völlig übertriebend ist aber ich hab jetzt Langeweile ;)

Das Programm der Aufgabe 2 ist kein C Programm sondern ein C++ Programm :)

Gruss
Pablo]]> Pablo Verifikation, Zuverlässigkeit und Test WS 2006/07 Wed, 08 Nov 2006 10:56:06 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2102,2102#msg-2102 https://ira.informatik.uni-freiburg.de/phorum/read.php?35,2102,2102#msg-2102
hiermit eröffne ich das Forum zur Vorlesung "Verifikation, Zuverlässigkeit und Test I" im Wintersemester 2006/7.

Das Forum kann von jedem genutzt werden, bedarf allerdings einer Anmeldung (Link "Log In"). Es ist dazu gedacht, Fragen zu stellen und Informationen auszutauschen; weiter versuche ich bei Unklarheiten in der Vorlesung oder in den Übungsaufgaben zu helfen.

Der Vorteil gegenüber einer persönlichen Mail an mich ist der, daß Euere Fragen bestimmt auch für viele andere interessant sind.

Das Forum ist natürlich _nicht_ dazu gedacht, Lösungen von Übungsblättern oder ähnliches zu dieser oder anderen Vorlesungen zu verbreiteen.

Weiter prüfe ich Beiträge regelmäßig nach bestem Wissen und Gewissen auf Verstöße gegen geltendes Recht. Ich behalte es mir grundsätzlich vor, Beiträge nach eigenem Ermessen zu löschen. Gelöscht werden beispielsweise: Beiträge, die nichts mit dem Thema des Forums zu tun haben bzw. zu stark davon abweichen, persönliche Auseinandersetzungen, durch die Poster oder Drittpersonen angegriffen werden und Werbe- bzw. gewerbliche Beiträge.

Grüße
Tobias Nopper]]> Tobias Nopper Verifikation, Zuverlässigkeit und Test WS 2006/07 Mon, 30 Oct 2006 10:18:45 +0100