Template:Program analysis: Difference between revisions
Content deleted Content added
Siddharthist (talk | contribs) A few links more... |
not the catman |
||
| (5 intermediate revisions by 3 users not shown) | |||
| Line 33: | Line 33: | ||
** [[Big Step Semantics|Big-step]] |
** [[Big Step Semantics|Big-step]] |
||
** [[Small Step Semantics|Small-step]] |
** [[Small Step Semantics|Small-step]] |
||
| group2 = Models |
| group2 = [[Model of computation|Models]] |
||
| list2 = |
| list2 = |
||
<!-- These are alphabetical --> |
<!-- These are alphabetical --> |
||
| Line 69: | Line 69: | ||
* [[Dynamic data-flow analysis|Data-flow]] |
* [[Dynamic data-flow analysis|Data-flow]] |
||
** [[Taint tracking]] |
** [[Taint tracking]] |
||
* [[ |
* [[Concolic execution]] |
||
* [[Fuzzing]] |
* [[Fuzzing]] |
||
* [[Invariant inference]] |
* [[Invariant inference]] |
||
| Line 109: | Line 109: | ||
| list1 = |
| list1 = |
||
<!-- These are alphabetical --> |
<!-- These are alphabetical --> |
||
* [[Constrained |
* [[Constrained Horn clauses|CHC]] |
||
* [[SAT solver|SAT]] |
* [[SAT solver|SAT]] |
||
* [[SMT solver|SMT]] |
* [[SMT solver|SMT]] |
||
| group2 = Lightweight |
| group2 = [[Formal methods#Lightweight formal methods|Lightweight]] |
||
| list2 = |
| list2 = |
||
<!-- These are alphabetical --> |
<!-- These are alphabetical --> |
||
| Line 122: | Line 122: | ||
* [[ACL2]] |
* [[ACL2]] |
||
* [[Agda (programming language)|Agda]] |
* [[Agda (programming language)|Agda]] |
||
* [[Coq]] |
* [[Coq (software)|Coq]] |
||
* [[F*]] |
* [[F*]] |
||
* [[HOL Light]] |
* [[HOL Light]] |
||
| Line 147: | Line 147: | ||
{{documentation|content= |
{{documentation|content= |
||
{{collapsible option}} |
{{collapsible option}} |
||
[[Category:Computer science templates |
[[Category:Computer science templates]] |
||
[[Category:Computer science navigational boxes |
[[Category:Computer science navigational boxes]] |
||
}} |
}} |
||
</noinclude> |
</noinclude> |
||
Latest revision as of 18:44, 5 December 2024
| Key concepts |  | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Semantics |
| ||||||||||||||
| Analyses |
| ||||||||||||||
| Formal methods |
| ||||||||||||||
Template documentationThis template's initial visibility currently defaults to autocollapse, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.
To change this template's initial visibility, the |state= parameter may be used:
{{Program analysis|state=collapsed}}will show the template collapsed, i.e. hidden apart from its title bar.{{Program analysis|state=expanded}}will show the template expanded, i.e. fully visible.