https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Template%3AProgram_analysis 2026-05-05T22:17:34Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Template:Program_analysis&diff=200546&oldid=prev 2023-06-29T12:30:50Z

<p>1 revision imported from <a href="https://alpha.indicwiki.in/index.php?title=Template:Program_analysis" class="extiw" title="alpha:Template:Program analysis">alpha:Template:Program_analysis</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 18:00, 29 June 2023</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Indicwiki https://www.vigyanwiki.in/index.php?title=Template:Program_analysis&diff=200545&oldid=prev 2023-03-02T05:53:38Z

<p>Created page with &quot;{{Navbox | name = Program analysis | state = uncollapsed | bodyclass = hlist | title = <a href="/index.php?title=Program_analysis&amp;action=edit&amp;redlink=1" class="new" title="Program analysis (page does not exist)">Program analysis</a> | image = File:Control flow graph of function with two if else st...&quot;</p> <p><b>New page</b></p><div>{{Navbox<br /> | name = Program analysis<br /> | state = uncollapsed<br /> | bodyclass = hlist<br /> | title = [[Program analysis]]<br /> | image = [[File:Control flow graph of function with two if else statements.svg|120px|alt=A simple control-flow graph]]<br /> | groupstyle = background:#e5e5ff;<br /> | selected = {{{selected|{{{1|}}}}}}<br /> <br /> | group1 = Key concepts<br /> | list1 =<br /> &lt;!-- These are alphabetical --&gt;<br /> * [[Control-flow graph]]<br /> * [[Correctness (computer science)|Correctness]]<br /> * [[Hyperproperty|Hyperproperties]]<br /> * [[Invariant (computer science)|Invariants]]<br /> * [[Path explosion]]<br /> * [[Polyvariance]]<br /> * [[Rice's theorem]]<br /> * [[Runtime verification]]<br /> * [[Safety and liveness properties|Safety and liveness]]<br /> * [[Undefined behavior]]<br /> <br /> | group2 = [[Semantics (computer science)|Semantics]]<br /> | list2 ={{Navbox|subgroup<br /> | group1 = Types<br /> | list1 = <br /> &lt;!-- These are alphabetical --&gt;<br /> * [[Axiomatic semantics|Axiomatic]]<br /> * [[Denotational semantics|Denotational]]<br /> ** [[Categorical semantics]]<br /> * [[Operational semantics|Operational]]<br /> ** [[Big Step Semantics|Big-step]]<br /> ** [[Small Step Semantics|Small-step]]<br /> | group2 = [[Model of computation|Models]]<br /> | list2 = <br /> &lt;!-- These are alphabetical --&gt;<br /> * [[Lambda calculus]]<br /> * [[Petri net]]<br /> * [[Process calculus]]<br /> * [[Abstract rewriting system|Rewriting system]]<br /> * [[State Machine|State machine]]<br /> * [[Turing machine]]<br /> }}<br /> <br /> | group3 = Analyses<br /> | list3 = {{Navbox|subgroup<br /> | group1 = [[Static program analysis|Static]]<br /> | list1 = <br /> &lt;!-- These are alphabetical --&gt;<br /> * [[Abstract interpretation]]<br /> * [[Alias analysis|Alias]]<br /> * [[Control flow analysis|Control flow]]<br /> ** [[kCFA (program analysis)|kCFA]]<br /> * [[Data-flow analysis|Data-flow]]<br /> * [[Dependence analysis|Dependence]]<br /> * [[Effect system]]<br /> * [[Escape analysis|Escape]]<br /> * [[Model checking]]<br /> * [[Pointer analysis|Pointer]]<br /> * [[Shape analysis (program analysis)|Shape]]<br /> * [[Symbolic execution]]<br /> * [[Termination analysis|Termination]]<br /> * [[Type system|Type systems]]<br /> * [[Typestate analysis|Typestate]]<br /> | group2 = [[Dynamic program analysis|Dynamic]]<br /> | list2 = <br /> &lt;!-- These are alphabetical --&gt;<br /> * [[Dynamic data-flow analysis|Data-flow]]<br /> ** [[Taint tracking]]<br /> * [[Concolic execution]]<br /> * [[Fuzzing]]<br /> * [[Invariant inference]]<br /> * [[Program slicing]]<br /> * [[Software testing|Testing]]<br /> }}<br /> <br /> | group4 = [[Formal methods]]<br /> | list4 = {{Navbox|subgroup<br /> | group1 = Concepts<br /> | list1 =<br /> * [[Curry–Howard correspondence]]<br /> * [[Loop invariant]]<br /> * [[Program refinement|Refinement]]<br /> * [[Side effect (computer science)|Side effect]]<br /> * [[Soundness]] and [[Completeness (logic)|completeness]]<br /> * [[Formal specification|Specification]]<br /> ** [[Specification language|Languages]]<br /> * [[Formal verification|Verification]]<br /> <br /> | group2 = Logics<br /> | list2 =<br /> * [[Hoare logic|Hoare]]<br /> * [[Incorrectness logic|Incorrectness]]<br /> * [[Linear logic|Linear]]<br /> * [[Separation logic|Separation]]<br /> * [[Temporal logic|Temporal]]<br /> <br /> | group3 = Data structures<br /> | list3 =<br /> * [[Binary decision diagram|BDD]]<br /> * [[E-graph]]<br /> * [[Hashcons]]<br /> * [[Disjoint-set data structure|Union-find]]<br /> <br /> | group4 = Tools<br /> | list4 = {{Navbox|subgroup<br /> | group1 = [[Constraint solver|Constraint solvers]]<br /> | list1 =<br /> &lt;!-- These are alphabetical --&gt;<br /> * [[Constrained horn clause|CHC]]<br /> * [[SAT solver|SAT]]<br /> * [[SMT solver|SMT]]<br /> | group2 = [[Formal methods#Lightweight formal methods|Lightweight]]<br /> | list2 =<br /> &lt;!-- These are alphabetical --&gt;<br /> * [[Alloy (specification language)|Alloy]]<br /> * [[TLA+]]<br /> | group3 = [[Proof assistant]]s<br /> | list3 = <br /> &lt;!-- These are alphabetical --&gt;<br /> * [[ACL2]]<br /> * [[Agda (programming language)|Agda]]<br /> * [[Coq]]<br /> * [[F*]]<br /> * [[HOL Light]]<br /> * [[HOL4]]<br /> * [[Idris (programming language)|Idris]]<br /> * [[Isabelle (proof assistant)|Isabelle]]<br /> ** [[Isabelle/HOL]]<br /> * [[Lean (proof assistant)|Lean]]<br /> * [[LEGO (proof assistant)|LEGO]]<br /> * [[Mizar system|Mizar]]<br /> * [[Nuprl|NuPRL]]<br /> * [[Prototype Verification System|PVS]]<br /> * [[Twelf]]<br /> }}<br /> }}<br /> <br /> | belowstyle=font-weight:bold;<br /> | below = <br /> * {{Icon|Category}} [[:Category:Program analysis|Category]]<br /> * {{icon|LIST}} [[Outline of program analysis|Outline]]<br /> * {{icon|LIST}} [[Glossary of program analysis|Glossary]]<br /> <br /> }}&lt;noinclude&gt;<br /> {{documentation|content=<br /> {{collapsible option}}<br /> [[Category:Computer science templates| ]]<br /> [[Category:Computer science navigational boxes| ]]<br /> }}<br /> &lt;/noinclude&gt;</div>

alpha>Indicwiki