Real-Time Maude is characterized by its general and expressive, yet intuitive, specification formalism, and offers a spectrum of formal analysis methods, including: rewriting for simulation purposes, search for reachability analysis, and temporal logic model checking.
CAV 2008 is the 20th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.
In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods.
Recent CPS projects such as CYPRESS [13] and fractionated CPS (http://ncps.csl.sri.com/) explore an "observe-analyze-adapt" architecture, i.e., a reflective approach, in which a CPS has a model of itself, its objectives, and its effects on the environment; the CPS achieves dependability objectives through adaptation using runtime application of formal analysis methods.
The second principle is that formal analysis methods and tools should be used to verify that the proposed artifacts follow desirable "well-behavedness" properties.
Molecular interaction networks represented as PNs can be analyzed using a variety of simulation and formal analysis methods developed in the PN field (Rohr et al., 2010).
Formal analysis of the method and numerical tests are presented.
When he turns to a formal analysis of expository method and theory, Vasubandhu defends this broad, rationalist approach to scripture.
The study demonstrates how SC measures, formal analysis, and qualitative methods can be combined and the article ends with an outline of how future studies might adopt parts of the research design to further integrate applied audience research, audience research in media psychology, and cognitive film theory.
All three methods, the formal analysis and inferences, as well as methods of dual distinctions and intuition, are necessary compounds for any philosophical activity (Zhang 2000: 75).
