実践! ソフトウェアモデル検査 HOME | お問い合わせ | サイトマップ | リンク
研究会のご紹介 オンラインサービス 支援ソフトウェア 実用化の研究
■ 当サイトのご利用にあたって
当サイトをご利用いただきまして,誠にありがとうございます。当サイトは,モデル検査によるソフトウェアテストの実践研究会(関西電力株式会社 電力技術研究所,及びメルコ・パワー・システムズ株式会社)が運営しています。
ご利用にあたっては,以下の内容をご一読いただきますようお願いいたします。
当研究会は予告なしに利用条件を変更することがあります。その際には,この文書の改訂版を掲載いたしますので,最新の内容をご確認いただきますようお願い申しあげます。
【著作権について】
当サイトに掲載されている個々の文書,写真,イラスト,ロゴ,動画,デザイン等(以下、Webサイトのデータ等という)に関する著作権その他の権利は,当研究会または原著作者その他の権利者に帰属します。
個人の私的使用を目的として印字や保存等する場合,その他著作権法により認められる場合を除き,Webサイトのデータ等を当研究会または原著作者,その他の権利者の許諾なく,複製,送信,頒布,改変,切除,お客さまのウェブサイトへ転載する行為等は著作権法等の違反となります。事前に当研究会にご連絡の上,使用許諾を得ていただきますようお願いいたします。
なお,内容によりまして使用をお断りする場合もございます。あらかじめご了承ください。
【商標等について】
当サイトに掲載される個々の商標・ロゴマーク,商号に関する権利は,当研究会または個々の権利の保有者に帰属します。商標法その他の法律により認められる場合を除き,これらを当研究会の許諾を得ることなく使用等する行為は商標法等により禁止されていますので,事前に当研究会にご連絡の上,許諾を得ていただきますようお願いいたします。
【掲載内容について】
当研究会はWebサイトへの情報掲載に際し,細心の注意を払っております。しかしながら,掲載した情報の内容の正確性,有用性,確実性,完全性,安全性(第三者の権利を侵害していないこと)等につき,当研究会は一切保証いたしかねます。

当研究会は,予告なしにウェブサイトの構成,URLおよび掲載情報等を変更,または中止することがあります。

当研究会はウェブサイトの運営を予告なしに中断または中止することがあります。

当研究会は,当サイトの安全性(当サイトの利用により,お客さまのパソコン等にエラーが発生したり,ウイルスに感染したりすることがない等の安全性)を保証するものではありません。

当研究会は,お客さまが当サイトあるいは当サイトに掲載された情報を利用された結果,あるいは,利用されなかった結果生ずるいかなる損害についても責任を負うものではありません。

お客さまによる当サイト掲載情報の利用に関して,第三者から異議・苦情・損害賠償請求等があった場合は,すべてお客さまの負担と責任において解決していただきますようお願いいたします。
【リンクについて】
当サイトにリンクをされる場合(雑誌・書籍の出版物等への当サイトURLの掲載も含みます)は,下記の内容を当研究会までご連絡いただき,許諾を得てくださいますようお願いいたします。
  • リンク元のWebサイトアドレス,企業(団体)名
  • Webサイトご担当者の所属,氏名,電話番号及びメールアドレス
ただし,当研究会から返信がない場合であっても,当研究会が当該リンクを許諾したことを意味するものではありません。
リンク元のWebサイトの内容に大きな変更がある場合は,再度当研究会までご連絡ください。
下記のリンク,またはそのおそれのあるリンクはお断りすることもあります。
  • 当研究会を誹謗・中傷するサイトからのリンク
  • 公序良俗に反するサイト等,リンクされることにより当研究会の信用,品位を損なうサイトからのリンク
  • フレームリンク等,当ウェブサイトの明確性が損なわれる形のリンク
  • 当研究会と何らかの提携または協力関係にあるものと誤認を生じさせる,または当研究会がリンク元のサイトを認知もしくは支持しているとの誤認を生じさせるリンク
  • その他当研究会が不適切と判断するリンク
当研究会は,リンクを一旦許諾した場合といえども,リンクの中止を要請する場合があります。その場合,すみやかにリンクを中止してください。

当研究会は,当サイトからのリンクに関し,リンク先のWebサイトの内容等につき何ら保証するものではありません。またリンク先のWebサイトを運営する会社・団体や個人と当研究会が特別な関係にあること,あるいはそれらの会社,団体,個人の商品・サービス・活動等を当研究会が推奨していること等を意図するものではありません。
リンク先のWebサイトのご利用にあたっては,それぞれのWebサイトのご利用条件,個人情報保護方針等をご確認ください。

当研究会はお客さまがリンク先のWebサイトを利用された結果生ずるいかなる損害についても責任を負うものではありません。
【ご質問・ご相談・ご提案等について】
お客さまが電子メールまたは郵送等によりご質問・ご相談・ご提案等を当研究会に送付された場合,当研究会は,お客さまから送付いただいたご質問・ご相談・ご提案等に関し,お客さまが以下の点をご了承の上,送付されたものと理解させていただきます。あらかじめご了承ください。
  • 送付いただいたご質問・ご相談・ご提案等に関し,当研究会が秘密保持の義務を負わないこと
  • 送付いただいたご質問・ご相談・ご提案等に関し,当研究会が検討,評価,採用等をする義務を負わないこと
  • 送付いただいたご質問・ご相談・ご提案等の全部または一部と同一または類似のご質問・ご相談・ご提案等が,当研究会から発表・公表された場合であっても,当研究会は送付されたお客さまやその他第三者に対して,対価の支払いを含めその他いかなる責任を負わないこと
  • 送付いただいたご質問・ご相談・ご提案等にかかる権利はすべて当研究会に帰属し,送付いただいたご質問・ご相談・ご提案等を当研究会が自由に利用できること
【準拠法および管轄裁判所について】
当サイトのご利用やこの「当サイトのご利用にあたって」の解釈・運用は日本国法に準拠するものとします。
また,当サイトに関するすべての紛争については,大阪地方裁判所を第一審の専属管轄裁判所といたします。
組込みシステム産業振興機構
関西産学官連携センター 組込みシステム技術連携研究体
先進的組込みソフト産学官連携プログラム 組込み適塾
サイエンスによる知的ものづくり教育プログラム トップエスイー
形式手法実践ポータル Formal Methods User Group
Copyright(C) 2005-2011 Practical research group of Software Model checking. All Rights Reserved.