نتایج جستجو برای: formal verification
تعداد نتایج: 187295 فیلتر نتایج به سال:
We investigate applying of an actor-based language, Rebeca, for hardware design. Rebeca is based on reactive objects with formal foundation. Hence, available tools for model checking provide us with formal verification support. In our approach, system design process is started from Rebeca in high levels of abstraction. Formal verification is then used to verify the design. We show the process o...
This thesis is concerned with formal development of JAVA CARD applets. JAVA CARD is a technology that provides a means to program smart cards with (a subset of) the JAVA language. In recent years JAVA CARD technology gained great interest in the formal verification community. There are two reasons for this. Due to the sensitive nature (e.g., security, maintenance costs) of JAVA CARD applets, fo...
We present ongoing work on the formal analysis of the FlexRay communication protocol. Isabelle/HOL, a theorem prover for Higher Order Logic, is chosen as our specification and verification system. Essential properties of the FlexRay protocol are identified, formalized and verified. In particular, we show our formal verification of the FlexRay bus guardian component. Furthermore, some insights f...
In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde’s "heart and soul". Since model transformations are executed for a family of (conforming) models, their validity becomes a crucial issue. This paper proposes to explore the question of the formal verification of model transformation properties through a tridimensional approach: the transformation...
Combining Complementary Formal Verification Strategies to Improve Performance and Accuracy
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید