検証的なアンテナ

すべて | ツール | 個人 | 組織、企業、団体 | 日記 | 理論 | メタ情報

おとなりアンテナ | おすすめページ

1. 2025/02/05 19:02:14 Java PathFinder

   Downloads: 1 This Week
   Beautifully simple experience with RMM, remote support, help desk, billing and reporting in one affordable platform.
   Ideal for small to medium size MSPs, IT Support companies an
2. 2025/02/05 14:40:36 はてなブックマーク - タグ 形式手法

   Google Maps Platform、月200ドルの一律無償利用枠を廃止。3月1日より料金体系が大幅改定【地図と位置情報】
   AIエージェントについてまとめてみた
   295 users
   AIが進化すると、そもそも業務システムが不要になりそう - きしだのHatena
   92 users
   ChatGPTにいろいろ頼りすぎてる
   222 users
   TVerのデータ基盤アーキテクチャ - 月間再生数4.9

3. 2025/02/05 05:31:17 組込みソフトウエアＷＧ

   「�山大学入学試験　試験室案内（��屋試験場）�を公開����
   Welcome to Nanzan University（2025年度新入生�皆���）
   ã€�予告：2025å¹´4月募集開始ã€

4. 2025/02/04 19:47:47 JaSST

   開催まであと51日！
   TODAホール＆カンファレンス東京＋一部オンライン
   開催まであと115日！
   

5. 2025/02/03 21:49:49 檜山正幸のキマイラ飼育記

   2025-02-01
   カン拡張ラムダ計算化 方針
   雑記／備忘
   「カン拡張ラムダ計算化計画」より： この記事ではこれ以上の内容は述べませんが、引き続く記事達でカン拡張ラムダ計算化計画をちょっとずつ実行する予定です。 というわけで、ちょっと書きます。内容： 使う道具・技術・枠組み 使う具体例 使う道具・技術・…
   カン拡張ラムダ計算化 方針
   2025 / 2
   

6. 2025/02/01 07:18:02 VAULT a programming language for reliable systems

   Blogs
   Jan 31
   Research Focus: Week of January 27, 2025
   Publication
   

7. 2025/01/30 02:37:21 DSN-2005

   January 29 2025: Disrupt abstract and submission deadlines have been extended! See details here.
   January 28 2025: The list of DSN 2025 accepted workshops is available! Please check it out here.
   Sponso

8. 2025/01/24 18:52:49 VeriSoft Home-Page

   watch our videos
   LinkedIn
   © 2025 Nettica Corporation, All Rights Reserved
   

9. 2025/01/08 00:59:00 The Agda Wiki - Main

   2025 著作権. 不許複製
   

10. 2025/01/03 04:38:04 SRI International - Computer Science Laboratory - Formal Methods and Dependable Systems

    2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
    

11. 2024/12/22 05:35:56 Agda

    Våra utbildningsprogram
    Trygg på Chalmers
    Press och media
    För leverantörer
    Hantering av personuppgifter
    Driftstörningar på Chalmers
    

12. 2024/12/16 01:01:38 CBMC Homepage

    Tool for Checking ANSI-C Programs (ca. 2000 citations).
    

13. 2024/12/15 12:39:48 Formal Methods Europe

    80th FME Meeting, 13 December 2024
    2024-12-10 ·
    meetings
    The 80th Business Meeting of FME will take place online December 13,
    15:00-17:00 CET.
    Read more
    Share
    A summar article of the discussed perspec

14. 2024/12/13 19:49:21 The Coq proof assistant

    developments, Coq extensions, and tools based on Coq (see the Coq Package Index and the Awesome Coq curated list of projects and resources). We have a multi-lingual Discourse forum and a Zulip chat.
    

15. 2024/11/16 14:58:24 Arbeitsgruppe Mathematische Logik | Minlog / Main browse

    Minlogpad (by Valentin
    Herrmann) allows to work with Minlog without installing yhe system.
    Last update: 2024-11-15
    

16. 2024/10/31 07:12:50 仕様検証グループ - Software Abstractions

    【完了】10月28日（月）6:00-7:00　データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
    

17. 2024/10/28 17:49:43 仕様検証グループ - tk80の日記

    【完了】10月28日（月）6:00-7:00　データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
    

18. 2024/10/28 17:34:09 仕様検証グループ - TrueLogic 仕事日記

    【完了】10月28日（月）6:00-7:00　データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
    

19. 2024/10/15 04:22:18 ACL2 Version 2.8

    ACL2 Version 8.6
    Differences from Version 8.5 Other Releases
    October 10, 2024
    full documentation. Instead start with the START-HERE documentation topic. Experienced users tend mostly to use the manu

20. 2024/10/09 19:58:16 Spin - Formal Verification

    Symposia: The 31st International Symposium on Model Checking Software will be held May 7-8 2025 in Hamilton, Canada, co-located with ETAPS-2025.
    The Symposium is organized by Kristin Yvonne Rozier and

21. 2024/09/25 14:13:50 TLA - The Temporal Logic of Actions

    Last modified on 13 August 2024
    Items of current interest.  Last modified on 13 August 2024.
    

22. 2024/09/07 13:58:12 PRL Automated Reasoning Project at Cornell

    Login Sign Up
    Nagad88
    

23. 2024/07/05 21:25:22 米澤研究室

    Last modified 7 years ago Last modified on 01/06/18 00:36:46
    

24. 2024/05/24 16:28:05 Isabelle

    Now available: Isabelle2024 (May 2024)
    More robust and scalable support for distributed build clusters.
    Official support for ARM64 on Linux (notably Docker on Apple Silicon).
    ML: antiquotations for tr

25. 2024/03/28 09:05:47 にわとり小屋でのプログラミング日記

    にわとり小屋でのプログラミング
    読者になる
    
26. 2024/02/15 03:16:32 シナリオ開発環境 Epics

    コンテンツへスキップ
    HOME
    COMPANY
    RECRUIT
    POLICY
    検索:
    メニューを閉じる
    HOME
    COMPANY
    RECRUIT
    POLICY
    トグルメニュー
    検索:
    ゲームは新しいビジネスを創造する
    愉しさと幸せを世の中に創造する
    独創的な価値の創造
    About Us
    Vsion
    ゲームは新しいビジネスを創造する
    私たちはこれまで、
    PlayStation／Nintendo／iO

27. 2023/12/20 15:38:49 MOPS

    MOPS
    MOdelchecking Programs for Security properties
    We are now announcing a second public release of MOPS.
    What. MOPS is a tool for finding security bugs in C programs
    and for verifying conformance to

28. 2023/11/01 20:07:30 SAFECOMP - The International Conference on Computer Safety, Reliability and Security

    Google Sites
    

29. 2023/06/08 17:37:19 PVS Specification and Verification System

    Install 8.0 Beta
    

30. 2023/04/20 09:35:00 UPPAAL

    The latest version is distributed by VeriAal
    

31. 2023/02/16 10:15:04 Game Scripting Memo

    ▼ ▶
    2015
    2015 / 9
    2015 / 6
    ▼ ▶
    2014
    2014 / 11
    ▼ ▶
    2013
    2013 / 8
    2013 / 7
    2013 / 6
    2013 / 1
    ▼ ▶
    2012
    2012 / 6
    ▼ ▶
    2011
    2011 / 5
    2011 / 3
    2011 / 2
    ▼ ▶
    2010
    2010 / 9
    2010 / 4
    2010 / 1
    ▼ ▶
    2009
    2009 / 11
    

32. 2023/02/13 20:05:33 sumiiの日記

    ▼ ▶
    2012
    2012 / 10
    ▼ ▶
    2011
    2011 / 8
    ▼ ▶
    2010
    2010 / 2
    2010 / 1
    ▼ ▶
    2009
    2009 / 11
    2009 / 10
    2009 / 9
    2009 / 8
    2009 / 7
    2009 / 6
    2009 / 5
    2009 / 4
    2009 / 3
    2009 / 2
    2009 / 1
    ▼ ▶
    2008
    2008 / 12
    2008 /

33. 2021/11/21 20:58:06 d.y.d.

    22:22 21/11/20
    ボレロ村上(村上原野)さんと constexpr のこと
    去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
    正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
    残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
    いつか機会が

34. 2021/09/22 22:40:24 The Esterel Language

    CMA Computer Science Group Meije Computer Science Group Formal Methods
    The ESTEREL Language
    Welcome to Esterel and Synchronous Reactive Programming !
    Esterel is both a programming language, dedicated

35. 2021/09/10 08:37:58 The BOOP Toolkit v0.42

    Developed at the
    Institute for Software Technology
    This page contains all information that you need for downloading, installing and using the BOOP Toolkit.
    About BOOP
    Downloading BOOP
    Installing BOOP
    

36. 2021/07/30 13:33:22 livedoor クリップ - タグ「形式手法」の新着ページ

    中川翔子 批判に反論も冷たい声
    あわや正面衝突 赤信号を無視 新着
    感染拡大なら「五輪中止も検討」 新着
    5歳園児の放置死 母「返して」
    推測可能なURL 不正取得に疑問 新着
    最高出力850馬力 爆速の米カムリ 新着
    auスマプレでおトクに映画鑑賞 PR
    異例判決 感嘆の声が上がった訳
    クビ覚悟 社員の行動に会長感激
    中日・木下入院 予断許さぬ状況
    小金沢が経営する芸能プロ倒産
    久代アナ ステマ

37. 2021/05/29 11:16:44 Bogor Website - Home

    ACM-SIGAI
    Sorry, this site is temporarily down for updates

38. 2021/05/29 06:37:12 About Bandera

    ACM-SIGAI
    Sorry, this site is temporarily down for updates

39. 2020/11/27 11:40:11 Formal Methods

    Onze excuses / Our apologies
    404 Not Found
    De pagina die u zonet heeft opgevraagd, bestaat niet op dit webadres. Deze pagina werd mogelijk verplaatst, vervangen of verwijderd.
    The page you requested d

40. 2020/09/17 09:27:37 Formal Verification Group

    Stanford University

41. 2020/07/28 03:06:32 The ASTRÉE Static Analyzer

    The Astrée Static Analyzer
    Centre National de la Recherche ScientifiqueÉcole Normale SupérieureINRIA (since Sep. 2007)
    Participants:
    Patrick Cousot (project leader), Radhia Cousot

42. 2020/07/27 17:45:42 The LEGO Proof Assistant

    Next: What is LEGO?
    The LEGO Proof Assistant
    Not in any way associated with the LEGO Group of Companies, nor created or endorsed by the LEGO Group.
    What is LEGO?
    LEGO projects
    LEGO system and document

43. 2019/07/29 05:04:24 Splint - Related Links

    Valgrind is an open-source memory debugger for x86 GNU-Linux
    CenterLine’s C++Expert also does run-time memory checking.Scott Meyer’s ”Effective C++” books.
    Great Circle is a glorified garbage collecto

44. 2019/06/15 16:17:44 Pointer Assertion Logic

    See also the MONA project.PALE is implemented by Anders M〓ller at Aarhus University.
    Copyright © 2000-2007 Department of Computer Science, Aarhus University. Please send comments to amoeller@cs.a

45. 2019/02/07 23:20:35 SDCR Formal Methods Working Group

    Strategic Directions in Computing Research
    Formal Methods Working Group
    Group Scope and Goals
    Research in formal methods is concerned with the development and use of mathematically-based languages, te

46. 2019/01/03 11:34:33 Agda Official Web Site

    Not Found
    The requested URL /cvs/Agda/ was not found on this server.

47. 2018/12/26 12:39:25 BLAST
48. 2018/12/26 12:34:30 IBM Research | IBM Haifa Research Lab | Formal Verification and Testing Technologies
49. 2018/11/02 05:58:05 HOL Light

    The HOL Light theorem prover
    Written by John Harrison drawing on the work of
    Mike Gordon Tom Melham Robin Milner Larry Paulson Konrad Slind
    and many other HOL and LCF researchers
    HOL Light is a comput

50. 2018/10/11 01:43:06 [計算機言語談話会について]

    Not Found
    The requested URL /cvs/CLC/ was not found on this server.

51. 2018/03/11 01:21:40 Hugo/RT

    Not Found
    The requested URL /projekte/hugo/ was not found on this server.
    Apache/2.4.18 (Ubuntu) Server at www.pst.informatik.uni-muenchen.de Port 80

52. 2018/01/02 18:33:27 Blast: Supplementary Web Page

    ©2002-2018 U.C. Regents

53. 2017/11/14 01:51:24 システム設計検証技術研究会

    Not Found
    The requested URL /cvs/consortium/index.html was not found on this server.

54. 2017/09/21 21:41:54 SDCR Formal Methods Working Group

    Strategic Directions in Computing Research
    Formal Methods Working Group
    Group Scope and Goals
    Research in formal methods is concerned with the development and use of mathematically-based languages, te

55. 2017/09/21 21:25:09 Magic

    MAGIC: Modular Analysis of proGrams In C
    October 28, 2004 The ComFoRT reasoning framework is being developed on top of MAGIC.
    June 5, 2004 MAGIC version 1.0 available for download.
    July 29, 2003 MAGIC

56. 2017/09/21 02:18:29 Specification and Verification Center

    Specification and Verification Center
    Center Goals
    About the Center
    People
    Principal Investigators
    All Members
    Meetings
    Weekly Seminar
    2:00–3:00 pm
    ARO PI Meetings
    Resources
    Projects
    Publication

57. 2017/07/19 18:05:20 システム検証研究センター

    Not Found
    The requested URL /cvs/ was not found on this server.

58. 2017/07/08 19:28:53 Model Checking at CMU

    Model Checking @CMU
    [Home]
    [People]
    [Software]
    [Publications]
    [Support] [Links]
    [Internal]
    Model checking is a method for formally verifying finite-state concurrent systems. Specifications about the s

59. 2017/07/08 18:25:29 Model Checking at CMU

    Model Checking @CMU
    [Home]
    [People]
    [Software]
    [Publications]
    [Support] [Links]
    [Internal]
    Model checking is a method for formally verifying finite-state concurrent systems. Specifications about the s

60. 2017/07/05 09:20:28 The Java Modeling Language (JML) Home Page

    Forbidden
    You don’t have permission to access /~leavens/JML/on this server.

61. 2017/03/09 17:35:22 Escher Technologies - Building bug-free software

    Escher Verification Studio Version 7 now here!
    Copyright © 1997-2017 Escher Technologies Limited. All rights reserved. Information in this document is subject to change without notice. Link to Pr

62. 2016/11/08 17:45:41 PRISM - Probabilistic Symbolic Model Checker

    School of Computer Science Menu Study Research People About Contact Internal
    School of Computer Science
    404: Not Found
    We can’t seem to find the page you are looking for.
    It might have been moved or d

63. 2016/08/04 04:04:02 SF2SMV Homepage

    Forbidden
    You don’t have permission to access /~webk/sf2smv/on this server.
    Apache/2.2.17 Server at users.ece.cmu.edu Port 80

64. 2014/09/19 09:05:17 Predicate Abstraction

    Apache/2.2.22 (Ubuntu) Server at chicory.stanford.edu Port 80

65. 2014/05/07 21:27:13 ヒビルテ

    本日のツッコミ(全2件) [ツッコミを入れる]
    ψ さかい [おお。知らなかったです。ありがとうございます！]
    Tags: haskell machine-learning
    Tags: haskell machine-learning optimization
    Tags: haskell machine-learning optimization
    さかい (05-07)
    metaphusika (

66. 2013/11/13 02:10:32 LTSA - Labelled Transition System Analyser

    LTSA-Delforge: extension with enhanced layout capabilities from UC Louvain
    Last Updated: 11/11/13 (DS)

67. 2013/10/05 06:00:58 NuSMV home page

    For information about NuSMV, please send e-mail to . For asking support or bug reporting write instead to . Please note that we will forward to the latter any technical mail sent to , so to allow all

68. 2013/06/29 23:53:24 実践！ソフトウェアモデル検査

    は2013-06-29を以てサービスを終了しました。多数ご利用いただき，誠にありがとうございました。
    今後は32bit版モデル検査器を使用してモデル検査サービスの提供を継続します。
    2013/06/29
    64bit版モデル検査器によるモデル検査サービスの提供を終了しました。今後は32bit版モデル検査器によるモデル検査サービスを提供します。

69. 2012/05/10 14:32:22 Automated Reasoning Group HOL page

    Last modified on Wed May 9 23:10:47 BST 2012 by ns441 | Privacy policy

70. 2009/07/02 11:16:28 NASA :: Intelligent Systems :: Propel

    Skip Navigation
    + NASA Home
    + Ames Home
    + Intelligent Systems Division
    + Robust Software Engineering
    + Verification and Validation
    Propel: Property Checking for C++
    + Home
    Overview
    We are developing a

71. 2008/04/05 15:56:41 Formal Methods Virtual Library

    Gone
    The requested resource
    /
    is no longer available on this server and there is no forwarding address.Please remove all references to this resource.