Category:Formal methods
Pereiti į navigaciją
Jump to search
mathematical program specification intended to allow correctness proofs, including algorithmically | |||||
Įkelti mediją | |||||
Poklasis |
| ||||
---|---|---|---|---|---|
Paremta | |||||
| |||||
Subkategorijos
Rodoma 11 subkategorijų (iš viso yra 11 subkategorijų).
Daugialypės terpės rinkmenos kategorijoje „Formal methods“
Rodomi 25 šios kategorijos rinkmenos (iš viso kategorijoje yra 25 rinkmenos).
-
Adactl logo.png 230 × 187; 4 KiB
-
Agendacumple en Z.jpg 400 × 882; 105 KiB
-
Agendacumple en Z.svg 403 × 603; 95 KiB
-
An analysis of Specware and its usefulness in the verification of high assurance systems (IA annalysisofspecw109452764).pdf 1 275 × 1 650, 112 puslapių; 472 KiB
-
Bigraphs-sharing-example.svg 114 × 58; 34 KiB
-
Derived preconditions and their use in program synthesis (IA derivedprecondit00smit).pdf 1 158 × 1 618, 34 puslapiai; 1,53 MiB
-
Evaluation of program specification and verification systems (IA evaluationofprog10945893).pdf 1 275 × 1 650, 160 puslapių; 777 KiB
-
Exécution symbolique.jpg 960 × 720; 42 KiB
-
Exécution symbolique.svg 779 × 551; 149 KiB
-
FLoC2006- 25MC - 25 Years of Model Checking.jpg 432 × 640; 194 KiB
-
Formal Verification.png 267 × 233; 11 KiB
-
The formal specification of a visual display devices- design and implementation. (IA formalspecificat00hunt).pdf 1 189 × 1 581, 250 puslapių; 9,48 MiB
-
The formal specification of computer systems using Petri Nets. (IA formalspecificat00karr).pdf 1 187 × 1 577, 140 puslapių; 5,77 MiB
-
The formal specification of an abstract machine - design and implementation. (IA formalspecificat00yurc).pdf 1 189 × 1 566, 162 puslapiai; 6,11 MiB
-
The formal specification of an abstract database- design and implementation. (IA formalspecificat00zang).pdf 1 197 × 1 575, 376 puslapiai; 14,43 MiB
-
Model of certifying compiler.png 678 × 468; 21 KiB
-
Noyau de système d'exploitation formellement prouvé historique.png 1 363 × 162; 56 KiB
-
Object-Z.png 446 × 363; 9 KiB
-
Programmation par contrat.png 348 × 528; 9 KiB
-
PVS screenshot.gif 692 × 690; 71 KiB
-
Schema IIR.png 551 × 497; 49 KiB
-
Security modeling and correctness proof using Specware and Isabelle (IA securitymodeling109453834).pdf 1 275 × 1 650, 147 puslapiai; 724 KiB
-
SeL4 design.png 1 117 × 546; 134 KiB
-
Systeme interactif preuve.png 504 × 235; 35 KiB
-
Unsafeenumcode.png 490 × 258; 156 KiB