This package contains SMT-LIB desriptions translated from eight Simulink models using the method described in : Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, and Hideaki Takai. "SMT-Based Model Checking of Industrial Simulink Models." ICFEM 2022 (to appear). Please see README.md for details
Abstract. The Matlab/Simulink language has become the standard for-malism for modeling and implement...
We present a new Simulink (Simulink) to Modelica (Mod-elica) translation chain embedded into Nsp. Tr...
© 2021, The Author(s).Several automatic verification tools have been recently developed to verify su...
The development of embedded systems requires formal analysis of models such as those described with ...
MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating...
Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical S...
International audienceSafety-critical applications require complete high-coverage testing, which is ...
Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Tool...
Xu L. Improved SMT-based bounded model checking for real-time systems. Journal of Software, 2010,21(...
Abstract. In this paper I report on my experience on developing two SMT-based software model checkin...
MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating...
International audienceWe present an extension of the statistical model-checker Plasma Lab capable of...
The SMT-LIB initiative is an international effort, supported by research groups worldwide, with the ...
We extend the Leon verification system for Scala with support for bit-vector reasoning, thus address...
Abstract. The Matlab/Simulink language has become the standard for-malism for modeling and implement...
Abstract. The Matlab/Simulink language has become the standard for-malism for modeling and implement...
We present a new Simulink (Simulink) to Modelica (Mod-elica) translation chain embedded into Nsp. Tr...
© 2021, The Author(s).Several automatic verification tools have been recently developed to verify su...
The development of embedded systems requires formal analysis of models such as those described with ...
MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating...
Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical S...
International audienceSafety-critical applications require complete high-coverage testing, which is ...
Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Tool...
Xu L. Improved SMT-based bounded model checking for real-time systems. Journal of Software, 2010,21(...
Abstract. In this paper I report on my experience on developing two SMT-based software model checkin...
MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating...
International audienceWe present an extension of the statistical model-checker Plasma Lab capable of...
The SMT-LIB initiative is an international effort, supported by research groups worldwide, with the ...
We extend the Leon verification system for Scala with support for bit-vector reasoning, thus address...
Abstract. The Matlab/Simulink language has become the standard for-malism for modeling and implement...
Abstract. The Matlab/Simulink language has become the standard for-malism for modeling and implement...
We present a new Simulink (Simulink) to Modelica (Mod-elica) translation chain embedded into Nsp. Tr...
© 2021, The Author(s).Several automatic verification tools have been recently developed to verify su...
DOI
Add to ORKG