Explore tweets tagged as #FormalMethod
@rahard
budi rahardjo
@rahard
3 years
class today. modeling #RAM in #CSP #formalmethod
Tweet media one
0
0
7
@cyruliu
Cyrus Liu
@cyruliu
7 years
From binary @radareorg to our abstract model, function calls getting sexy, wandering if I can go further, decorate our abstract model with function arguments from @radareorg ? #binary #FormalMethod
Tweet media one
0
2
16
@timahnajla
timahnajla
@timahnajla
11 years
Byk gler symbol nk kne igtt. test oh test. fyp. tk jalan. esok klss full smpai kul 5. *pengsan* #formalmethod http://t.co/mv8ewXFmfJ.
Tweet media one
0
0
0
@bonotake
takeo
@bonotake
15 years
昨日のFormalMethod勉強会で話した圏論のお話 http://bit.ly/cIGvvl.
0
0
1
@KhazaHoque
Khaza Anuarul Hoque
@KhazaHoque
4 years
Formal method conferences these days 😂.#formalmethod #conference #publication #research
Tweet media one
0
0
1
@yoshihiro503
Yoshihiro Imai
@yoshihiro503
2 years
スマートコントラクトの検証をCoqでできる仕様記述言語Actの話です。.#Ethereum #Solidity #FormalMethod #Coq #SmartContract.
@proof_ninja
株式会社 proofninja
@proof_ninja
2 years
EthereumのActを使う #Qiita .#Ethereum #スマートコントラクト #形式検証 #Coq #Act.
0
4
13
@irtSaintEx
IRT Saint Exupéry
@irtSaintEx
9 years
#IRTStEx_PhDday2016 #Embedded #Systems A.Dieumegard: #Code #FormalMethod @INP_ENSEEIHT @IRIT_UMR5505 @onera_fr
Tweet media one
0
1
3
@baiti_aryfah
بايتي
@baiti_aryfah
9 years
okay nice. first lab. first kelas. masuk² terus bgi quiz. #formalmethod 😭.
0
0
0
@bonotake
takeo
@bonotake
15 years
「そのスライドがiPadから見れなくて悲しい件についてw」確かに…orz RT @bonotake: 昨日のFormalMethod勉強会で話した圏論のお話 http://bit.ly/cIGvvl.
0
0
2
@keisyun
⚡Kiyotaka Fujii/藤井 清貴
@keisyun
15 years
1/16以降じっくり見る。「誰でも使える形式手法」 http://monoist.atmarkit.co.jp/fembedded/index/formalmethod.html.
0
0
1
@keisyun
⚡Kiyotaka Fujii/藤井 清貴
@keisyun
15 years
“『会員登録』”というクラスを定義しています。 http://monoist.atmarkit.co.jp/fembedded/articles/formalmethod/01/formalmethod01c.html.
0
0
0
@nikkeibpITpro
日経クロステック IT
@nikkeibpITpro
4 years
システム障害は「大罪」で東証社長の辞任は当然、情緒的な日本人体質を改めよ #システム障害 #訴訟 #事業継続計画 #FormalMethod #IT経営
0
2
4
@loveloveyoonie
Jovianna⁷ 🧈
@loveloveyoonie
12 years
Org len tauk x apa #formalmethod tok sbnar ny?.
0
0
0
@goyoki
goyoki
@goyoki
16 years
帰宅。何とか来週初めにはリリースに。CEGTest勉強会のキャンセルはなんとか大丈夫そう。ただ月曜のFormalMethod勉強会は残念ながらパス.
0
0
0
@mzp
mzp
@mzp
14 years
@2bbb FormalMethodはフォーマルな場でやったほうが捗るらしいよ！.
0
0
1
@loveloveyoonie
Jovianna⁷ 🧈
@loveloveyoonie
12 years
#formalmethod dh siap #ccn gk kaktok mok d siap kn. .
0
0
0
@youku_s
youku_s
@youku_s
14 years
テストや定理証明器の弱点である状態数の爆発を解決するため、障害が発生しやすいところに的を絞って検証を行うという考え方がLightweight FormalMethodで、AlloyAnalizerはそれに基づいた形式手法ツールの一つ。ほむほむ….
0
0
0
@bonotake
takeo
@bonotake
15 years
そういってもらえると嬉しいです RT @artigiano_rpf: 綺麗に纏まっていますね。RT @bonotake: 昨日のFormalMethod勉強会で話した圏論のお話 http://bit.ly/cIGvvl.
0
0
0
@loveloveyoonie
Jovianna⁷ 🧈
@loveloveyoonie
12 years
hahaha! xckup mn kta duak jk mok plh trending #formalmethod tok. .
0
0
0