Forum: Compiler & IDEs Suche nach Model Checker für C Proramme von AVR ATmega 16


Suche nach Model Checker für C Proramme von AVR ATmega 16
von Jing W. (deepbluesea)

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!

Beitrag melden Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Markierten Text zitieren Antwort Antwort mit Zitat
Thread beobachten | Seitenaufteilung abschalten
Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.