Warning: API call failed to get remote JsonConfig: status=There was a problem during the HTTP request: 429 Too Many Requests, query={"action":"query","titles":"Data:I18n/Documentation.tab","prop":"revisions","rvprop":"content","rvslots":"main","continue":""} [Called from JsonConfig\JCUtils::warn in /var/www/mediawiki/extensions/JsonConfig/includes/JCUtils.php at line 55] in /var/www/mediawiki/includes/debug/MWDebug.php on line 507

Warning: API call failed to get remote JsonConfig: status=There was a problem during the HTTP request: 429 Too Many Requests, query={"action":"query","titles":"Data:I18n/Module:TNT.tab","prop":"revisions","rvprop":"content","rvslots":"main","continue":""} [Called from JsonConfig\JCUtils::warn in /var/www/mediawiki/extensions/JsonConfig/includes/JCUtils.php at line 55] in /var/www/mediawiki/includes/debug/MWDebug.php on line 507
Template:Program analysis - Vigyanwiki

Template:Program analysis

From Vigyanwiki

Program analysis

Program analysis

Key concepts

File:Control flow graph of function with two if else statements.svg

Types	Axiomatic Denotational Categorical semantics Operational Big-step Small-step
Models	Lambda calculus Petri net Process calculus Rewriting system State machine Turing machine

Analyses

Static	Abstract interpretation Alias Control flow kCFA Data-flow Dependence Effect system Escape Model checking Pointer Shape Symbolic execution Termination Type systems Typestate
Dynamic	Data-flow Taint tracking Concolic execution Fuzzing Invariant inference Program slicing Testing

Concepts

Logics

Data structures

Tools

Constraint solvers	CHC SAT SMT
Lightweight	Alloy TLA+
Proof assistants	ACL2 Agda Coq F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Twelf

Lua error in Module:TNT at line 182: Missing Commons dataset I18n/Module:TNT.tab.[[Category:Template documentation pages{{#translation:}}]]

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=Template:Program_analysis&oldid=200546’

Navboxes using background colours

Hidden categories: