翻訳と辞書 Words near each other ・ Verity ・ Verity (disambiguation) ・ Verity (statue) ・ Verity and the Shades ・ Verity Bargate ・ Verity Bargate Award ・ Verity Barton ・ Verity Birdwood ・ Verification condition generator ・ Verification of employment ・ Verification-based message-passing algorithms in compressed sensing ・ Verificationism ・ Verified Audit Circulation ・ Verified Carbon Standard ・ Verified-Accredited Wholesale Distributors ・ VeriFlux ・ Verifone ・ Verify in field ・ Verigar issue ・ Verige bridge ・ Verigy ・ Verija ・ Veriko Anjaparidze ・ Verila Glacier ・ Verilator ・ Verilite Sunbird ・ Verilog ・ Verilog Procedural Interface ・ Verilog-A ・ Verilog-AMS Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク VeriFlux ： ウィキペディア英語版 VeriFlux VeriFlux is a formal methods based static analysis tool for programs written in Java. It is optimized for use with JamaicaVM, but can be used for any Java program. It can detect uncaught runtime exceptions, including RTSJ exceptions, and possible deadlocks in code using Java synchronization features. It has also been used for resource analysis.〔James J. Hunt, Isabel Tonin, Fridtjof Siebert: Using Global Data Flow Analysis on Bytecode to Aid Worst Case Execution Time Analysis for Realtime Java Programs. JTRES 2008: 97-105〕 It can be used for both full program analysis and partial program analysis. == See also == *Aicas *JamaicaVM *Formal Methods *Data Flow Analysis *Real time Java *Embedded Java 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「VeriFlux」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.