Zum Inhalt springen
View in the app

A better way to browse. Learn more.
Fachinformatiker.de

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

Programmverifikation, wie sieht die Vorbedingung aus?

Gast RainerH88
Gast RainerH88
in Algorithmik

Empfohlene Antworten

Guten Abend :),

kennt sich hier jemand mit Programmverifikationen aus?

Ich habe hier folgenden code:


x := a; 

y := b;  

p := 0;

while x > 0 do

begin

  p := p + y;

  x := x - 1;

end;

die Inv müsste lauten: x*y+p=a*b und die Post-Bedingung: p=a*b

wie aber muss die Pre-Bedingung aussehen? a und b >0 und p=0?

Gruß Rainer

Archiv

Dieses Thema wurde archiviert und kann nicht mehr beantwortet werden.

Zur Themenliste gehen

Konto

Navigation

Suchen

Suchen

Configure browser push notifications
Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.