نتایج جستجو برای: formal verification
تعداد نتایج: 187295 فیلتر نتایج به سال:
This study, completed as part of a Bachelor level independent study course, aims to survey the current landscape of research into the formal verification of compilers. This report includes a technical perspective of several current and past compiler verification projects conducted by researchers at leading universities and a final ending summary giving impressions on the future of formal compil...
The multi-language environment Synchronie supports the design and formal verification of synchronous reactive systems. It integrates three synchronous languages and also three ways to specify properties: the temporal logic with future operators CTL, the temporal logic with past operators Past TL, and observers, which are particular synchronous programs. It is argued that this multi-language fea...
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can and cannot be done, it can be hard to determine whether a desired goal can actually be achieved without violating the norms. To help the agents in this process, agents can make use of predefined (knowledge-based) proto...
We present the status of formal methods at our university, and describe our course on formal software verification in more detail. We report our experiences in using Perfect Developer for the course assignments.
The cones and foci verification method from Groote and Springintveld [12] was extended to timed systems by van der Zwaag [24]. We present an extension of this cones and foci method for timed systems, which can cope with infinite τ -sequences. We prove soundness of our approach and give small verification examples.
ion Techniques Exact Low-Level Runtime Analysis High-Level Real-Time Formal Model Low-Level Real-Time Formal Model High-Level Real-Time Verification Low-Level Real-Time Verification Exact High-Level WCET/BCET Analysis Executable Code Exact Low-Level WCET/BCET Analysis Figure 1.2: : A Formal Framework for the Specification, Modelling, Verification and Runtime Analysis of Real-Time Systems
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید