نتایج جستجو برای: formal verification

تعداد نتایج: 187295  

2013

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...

Journal: :Electr. Notes Theor. Comput. Sci. 2001
Agathe Merceron Monika Müllerburg G. Michele Pinna

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...

2005
Huib Aldewereld Javier Vázquez-Salceda Frank Dignum John-Jules Ch. Meyer

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...

2006
Ingo Feinerer Gernot Salzer

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.

Journal: :Electr. Notes Theor. Comput. Sci. 2005
Wan Fokkink Jun Pang

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.

2004
Georgios Logothetis

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

Journal: :International Journal of Computers Communications & Control 2014

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید