Ugrás a tartalomhoz
Főmenü
Főmenü
áthelyezés az oldalsávba
elrejtés
Navigáció
Kezdőlap
Közösségi portál
Friss változtatások
Lap találomra
Segítség
Speciális lapok
Keresés
Keresés
Megjelenés
Támogasd a wikit!
Fiók létrehozása
Bejelentkezés
Személyes eszközök
Támogasd a wikit!
Fiók létrehozása
Bejelentkezés
Sablon
:
program analysis
Nyelvek hozzáadása
Linkek hozzáadása
Sablon
Vitalap
magyar
Olvasás
Szerkesztés
Laptörténet
Eszközök
Eszközök
áthelyezés az oldalsávba
elrejtés
Műveletek
Olvasás
Szerkesztés
Laptörténet
Általános
Mi hivatkozik erre?
Kapcsolódó változtatások
Fájl feltöltése
Hivatkozás erre a változatra
Lapinformációk
Rövidített URL készítése
QR-kód letöltése
Switch to legacy parser
Nyomtatás/exportálás
Letöltés PDF-ként
Nyomtatható változat
Társprojektek
Megjelenés
áthelyezés az oldalsávba
elrejtés
A Wikiszótárból, a nyitott szótárból
(
Sablon:Program analysis
szócikkből átirányítva)
v
t
e
program analysis
key
concepts
control-flow graph
correctness
hyperproperties
invariants
path explosion
polyvariance
rice's theorem
runtime verification
safety and liveness
undefined behavior
semantics
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
formal
methods
concepts
curry–howard correspondence
loop invariant
refinement
side effect
soundness
and
completeness
specification
languages
verification
logics
hoare
incorrectness
linear
separation
temporal
data structures
bdd
e-graph
hashcons
union-find
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
Kategória
:
Navboxes using background colours
Keresés
Keresés
Sablon
:
program analysis
Nyelvek hozzáadása
Új téma nyitása