Title: Die schwächste Precondition (weakest precondition)
Abstract: Wir betrachten irgendein Programmstück S und irgendeine Postcondition R und wollen eine passende Precondition Q ermitteln, sodaß nach dem Start in einem Zustand aus Q das Programmstück S in einem Zustand aus R terminiert.
Publication Year: 1989
Publication Date: 1989-01-01
Language: de
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot