Template:Program analysis: Difference between revisions
Content deleted Content added
Siddharthist (talk | contribs) Link to Model of computation |
not the catman |
||
| (2 intermediate revisions by 2 users not shown) | |||
| 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]] |
||
| 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.