Similar to Property_Specification_Language
/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
Property Specification Language
Property Specification Language
10.5インチiPad Pro
1048576
1048576
プログラム意味論
Semantics (computer science)
仕様記述言語
Specification language
形式仕様記述
Formal specification
Eiffel
Eiffel (programming language)Object Constraint Language
Object Constraint LanguagePlusCal
PlusCalSpec Sharp
TLA+
TLA+
VDM
Vienna Development Method
Z言語
Z notation
公理的意味論
Axiomatic semantics
仕様及び記述言語
Specification and Description Language
操作的意味論
Operational semantics表示的意味論
Denotational semantics
プロセス計算
Process calculus
ペトリネット
Petri net
ハードウェア記述言語
Hardware description language
AHDL
Altera Hardware Description LanguageChisel
Chisel (programming language)Esterel
Esterel
Lola
Lola (computing)
Lustre (プログラミング言語)
Lustre (programming language)SFL
SystemC
SystemC