JW Jing W. (deepbluesea) OP 09.03.2006 13:27 #363834 Lesenswert? • ▲ ▼ hallo, alles, ich suche einen Model Checker, um C Programme zu testen. Übrigens suche ich auch C Qullcode und die zu testende Spezifikation. Danke voraus! Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden
