sldvmisscovtool_doc_overview.m

%% Simulink Design Verifierɂ関BJobW̓c[
%
%% Ήo[W
% 
% * MATLAB R2007a+ ȍ~

%% gpi
% 
% * MATLAB
% * Simulink
% * Stateflow (ΏۃfStateflow܂܂ꍇ)
% * Simulink Verification and Validation
% * Simulink Design Verifier (B̃JobW₤eXgxN^ꍇ)
 
%% CXg[@
% 
% 
% # sldvmisscovtool.zip KȃtH_ɓWJ܂B
% # MATLAB fXNgbv‹
%    ut@CvupXݒv
%    JA(1)œWJtH_MATLABpXɒlj܂B
% 
%% N@
% 
% 
% MATLAB Command Window
% 
sldvmisscovtool
 
%% 
% s܂B


%% ̑
% 
% * *Œ菬_Ή*
% ̃c[́AMATLAB R2009aȍ~łp̏ꍇAŒ菬_fɑ΂闘pΉĂ܂B

%% XV
% * 2008/02/13 : Ń[X
% * 2008/06/23 : [gxInport̃f[^^Cvupv̏ꍇɑΉ
% * 2008/10/31 : MATLAB CentralŌJ
% * 2009/01/07 : G[Ȃǂ̏C̎{
% * 2009/06/28 : 2łMATLAB CentralŃ[XBvOCC|[gEGNX|[gɑΉ
% * 2010/05/06 : 3łMATLAB CentralŃ[XBSignal Viewer@\ljBŒ菬_(R2009aȍ~)ɑΉB
% * 2011/12/28 : 4łMATLAB CentralŃ[XBMATLAB HelpɃwvhLgljBR2010bȍ~ł̓{‹oT|[gB