데이터셋 상세
미국
ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)
IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an application or family of applications is critical for achieving both precision and scalability. Developing such an analyzer is arduous and requires significant expertise in Abstract Interpretation.
데이터 정보
연관 데이터
Translations from OBM Library and SysML Behavior Examples to Alloy
공공데이터포털
This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying executability of system behavior models by treating them as logical constraint problems solved using Alloy Analyzer, a non-proprietary software tool supporting a textual language for logical constraints and underlying solvers.
KBA AUTOMATIC Sp. z o.o. - Dane badawcze zebrane w ramach projektu RPOP.01.01.00-16-0004/18
공공데이터포털
,Projekt polegał na zdobyciu nowej wiedzy podczas badań przemysłowych oraz potwierdzeniu zdobytej wiedzy w pracach rozwojowych pozwalających na opracowanie technologii synchronizacji w czasie rzeczywistym silników elektrycznych, która zostanie zaimplementowana w wielonapędowej windzie przemysłowej.,
목록