Zobrazeno 1 - 10
of 276
pro vyhledávání: '"Postcondition"'
Publikováno v:
Saudi Dental Journal, Vol 35, Iss 4, Pp 317-321 (2023)
Background: One of the causes of endodontic flare-ups is overinstrumentation during canal preparation. In general, to reduce the level of pain and swelling that is caused by endodontic flare-ups, patients it has taken analgesics and antibiotics after
Externí odkaz:
https://doaj.org/article/e99ab667c3a549b29f5f7aaa16870199
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Detlef Plump, Gia Septiana Wulandari
Publikováno v:
GCM@STAF
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph conditions. However, this type of assertions is not easy to comprehend
Autor:
Runge, Tobias, Thüm, Thomas, Cleophas, Loek, Schaefer, Ina, Watson, Bruce W., Sekerinski, Emil, Moreira, Nelma, Oliveira, José N., Ratiu, Daniel, Guidotti, Riccardo, Farrell, Marie, Luckcuck, Matt, Marmsoler, Diego, Campos, José, Astarte, Troy, Gonnord, Laure, Cerone, Antonio, Couto, Luis, Dongol, Brijesh, Kutrib, Martin, Monteiro, Pedro, Delmas, David
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549961
FM Workshops (2)
Formal Methods. FM 2019 International Workshops-Revised Selected Papers, 388-405
STARTPAGE=388;ENDPAGE=405;TITLE=Formal Methods. FM 2019 International Workshops-Revised Selected Papers
FM Workshops (2)
Formal Methods. FM 2019 International Workshops-Revised Selected Papers, 388-405
STARTPAGE=388;ENDPAGE=405;TITLE=Formal Methods. FM 2019 International Workshops-Revised Selected Papers
Correctness-by-construction (CbC) is a refinement-based methodology to incrementally create formally correct programs. Programs are constructed using refinement rules which guarantee that the resulting implementation is correct with respect to a pre-
Publikováno v:
Programming and Computer Software. 45:473-484
Nowadays, ensuring software security is of paramount importance. Software failures can have significant consequences, and malicious vulnerability exploitation can inflict immense losses. Large corporations pay particular attention to the investigatio
Autor:
Elisa Baniassad, Alexander J. Summers
Publikováno v:
SPLASH-E
In this essay, we explore a new pedagogical framing ofway of pedagogically and teaching the Liskov Substitution Principle (LSP). In addition to, or perhaps even in place of, teaching the specifics of the rule itself, we advocatepropose teaching an op
Publikováno v:
ICSE (Companion Volume)
Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software implementation. Unfortunately,
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.