#formal_methods search results
アンケートの最後の質問、「何か希望するセミナーはありますか？」に対しては、“１．Coq等を用いた定理証明系セミナーの開催を希望 ２．Proof Summit 2013 in Sapporoの開催を希望”とだけ書いておきました。 #formal_methods #やって欲しいデスｗ
諸事情で形式手法に興味を持ち出した年頃なので嬉しい。セマンティクス、型、モデル検査があるらしい。検証対象に分散システムも含まれるのを知れたのが嬉しい。#情報収集 #formal_methods 形式手法のこれまでとこれから - ヾﾉ*＞ㅅ＜)ﾉｼ帳 katc.hateblo.jp/entry/2020/01/…
Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications mdpi.com/1424-8220/24/1… #deep_learning #formal_methods
Assurance and formal methods. ~ J. Rushby bit.ly/2cVnYLb #Formal_methods
40 Years of formal methods (Some obstacles and some possibilities). ~ D. Bjørner & K. Havelund bit.ly/1KeL6dq #Formal_methods
（独り言） “宇宙用ソフトウェアの置かれる状況 ・組み込みソフトとの共通課題 ー 上流工程の不確定さ（要求元は？決まらない？） ー 機能要求の増加と複雑化による検証の限界 ー ハードウェア主体の文化 ー 開発の外注化の加速” だとか… 同じですね。 #formal_methods
（独り言） それでですね、今列挙した23個のフォーマルメソッドのうち、JAXAで選択したのが (Event-B, VDM, CCS)の三つだそうです。なるほど… #formal_methods #deos_seminar_2012
（独り言）ここでスピーカーが吉川様にチェンジしました。分析対象としたフォーマルメソッドが23個もあるって凄いなあ…ｗ (ACL2, Alloy, B, Event-B, CafeOBJ, CASL, CCS, CSP, Coq, ...続く) #formal_methods
（独り言）ちなみに、今日は午前中が歯医者で、午後はこの形式手法普及促進セミナーに参加するために、会社はお休みです。実際には、有休を取らないと、セミナーにも参加できなくなりました。 #formal_methods #deos_seminar_2012
（独り言）ここからは話に集中したいのでツイートしたりようしませんわ #五七五 #formal_methods #deos_seminar_2012
【実況】「形式手法普及促進セミナー2012 in 札幌」は、今日二つ目のセッションに入っています。 “事例発表 「形式手法-Bメソッドによる組込ソフト開発の実践と成果」 株式会社リック 取締役 坂本 謙治氏” #formal_methods #deos_seminar_2012
（独り言） 実施体制の法認定企業の中に、テクノフェイスさんのお名前が…(^^; それと、その他メンバーの中には公立はこだて未来大学のお名前も… なんだ、皆さんこういうのにちゃんと絡んでるんですね。いいなあ… #formal_methods #deos_seminar_2012
（独り言） 最後に質疑応答を一つだけ受け付けるとのことだったので、手を上げてマイク越しに質問しました。 “Q. 定理証明系については現在検討中とのことでしたが、何を検討されてますか？ A. 現在Coqを採用しようかどうか検討中です。” だそうです。 #formal_methods
（独り言） 事例からわかったこと・課題としては… “モデル化にあたり、多くの工数が必要 →短時間化のための取り組み／やり方が必要” まあそれはそうでしょうねぇ… こんな時間がかかること、普通ならやってられないと思いますし… やはり銀の弾丸はない？ #formal_methods
【実況】最後のセッションである “特別講演「形式手法が担う品質説明力の強化 ～実稼働システムの適用実験結果と今後の期待～」 独立行政法人情報処理推進機構（IPA） ソフトウェア･エンジニアリング･センター／工学博士 田丸喜一郎氏” に入ってます。 #formal_methods
Assurance in the internet of things and for automated driving. ~ J. Rushby bit.ly/2cVo6uk #Formal_methods #IoT
（独り言）それともう一つが “定理証明系ツールの活用について、未検討 →定理証明系ツールで何ができるのかを含め、適用方法、適用箇所の調査が必要” だそうです。これこそ #なごやこわい の人達が得意な分野かとｗ #formal_methods #deos_seminar_2012
Cant believe am to study sets once again! :) #formal_methods
Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications mdpi.com/1424-8220/24/1… #deep_learning #formal_methods
🎊 Happy to share the Special Issue "Mathematics in #Formal_Methods and #Model_Checking" edited by Dr. Yehia Abd Alrahman 🌟 👉 Deadline: 10 September 2025 🔗 Feel free to submit your work here: brnw.ch/21wSCEv @MDPIOpenAccess @ComSciMath_Mdpi
PhD Opportunities in Computer Science (Fully Funded) @raise_research To read the full job description and apply, see link in the thread! #computer_science #formal_methods #model_driven_development #software_engineering #ScienceJobs
PhD Opportunities in Computer Science (Fully Funded) @raise_research To read the full job description and apply, see link in the thread! #computer_science #formal_methods #model_driven_development #software_engineering #ScienceJobs
I've just published another article on TLA+: blog.fponzi.me/2023-10-30-wol… I described my model for the Wolf, Goat and Cabbage problem (en.m.wikipedia.org/wiki/Wolf,_goa…) in TLA+. Let me know what you think! #tla_plus #formal_methods
Verification: how 'formal' is a tool like Java Modeling Language (JML) compared to certified libraries and model checking? - Visit programmatic.solutions/vrgb79/verific… for the answer. #pl_programming_languages #program_verification #formal_methods #se_software_engineering #cstheory
Is "Unit testing" a form of formal method? - Visit programmatic.solutions/fyxhun/is-unit… for the answer. #unit_testing #concepts #formal_methods #programming #coders
How "Best" to capture State Transitions in a formal software requirements specification - Visit programmatic.solutions/p29tgs/how-bes… for the answer. #requirements #formal_methods #programming #programmer #peoplewhocode
Is it possible to compute whether two functions are extensional equal? - Visit programmatic.solutions/efxabd/is-it-p… for the answer. #pl_programming_languages #decidability #formal_methods #extensionality #cstheory
Proof-oriented domain-specific language design for high-assurance software. ~ Denis Merigoux (@DMerigoux). tel.archives-ouvertes.fr/tel-03622012/d… #PhD_Thesis #Programme_verification #Formal_methods
諸事情で形式手法に興味を持ち出した年頃なので嬉しい。セマンティクス、型、モデル検査があるらしい。検証対象に分散システムも含まれるのを知れたのが嬉しい。#情報収集 #formal_methods 形式手法のこれまでとこれから - ヾﾉ*＞ㅅ＜)ﾉｼ帳 katc.hateblo.jp/entry/2020/01/…
My colleagues at the Singapore University of Technology & Design (SUTD) are looking for a postdoc to work on security/formal methods for cyber-physical systems. Please see bit.ly/2ml5Yk2 for more info!
Formal methods and the KRACK vulnerability. ~ Joey Dodds galois.com/blog/2017/10/f… #Cryptography #Formal_methods
Formal methods during the programming phase. ~ R.F. Paige et als. bit.ly/2yFAkzP #Formal_methods
Assurance in the internet of things and for automated driving. ~ J. Rushby bit.ly/2cVo6uk #Formal_methods #IoT
Formal models for human-machine interactions. ~ J. Rushby bit.ly/2d4nvUs #Formal_methods
Assurance and formal methods. ~ J. Rushby bit.ly/2cVnYLb #Formal_methods
🙌🙌🙌🙌🙌🙌🙌🙌🙌🙌#Formal_Methods instagram.com/p/BI88-UGgicS/
instagram.com
Moorosi Blessed (@moorosi_blessed) • Instagram photo
Moorosi Blessed (@moorosi_blessed) • Instagram photo
Report on the NSF workshop on formal methods for security. ~ S. Chong et als. bit.ly/2aTRT5E #Formal_methods
Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications mdpi.com/1424-8220/24/1… #deep_learning #formal_methods
🎊 Happy to share the Special Issue "Mathematics in #Formal_Methods and #Model_Checking" edited by Dr. Yehia Abd Alrahman 🌟 👉 Deadline: 10 September 2025 🔗 Feel free to submit your work here: brnw.ch/21wSCEv @MDPIOpenAccess @ComSciMath_Mdpi
Something went wrong.
Something went wrong.
United States Trends
- 1. #DWTS 43.6K posts
- 2. Elaine 37.1K posts
- 3. Alix 10.9K posts
- 4. Dylan 33.2K posts
- 5. Robert 101K posts
- 6. Carrie Ann 3,569 posts
- 7. Anthony Black 2,381 posts
- 8. Drummond 2,471 posts
- 9. #WWENXT 7,313 posts
- 10. Suggs 2,339 posts
- 11. Jalen Johnson 3,728 posts
- 12. Sixers 3,915 posts
- 13. Ezra 11K posts
- 14. #DancingWithTheStars 1,246 posts
- 15. Godzilla 31.6K posts
- 16. #NXTGoldRush 5,843 posts
- 17. CJ McCollum 1,599 posts
- 18. Wizards 8,689 posts
- 19. Bruce Pearl N/A
- 20. #iubb N/A