[PDF] Top 20 An approach to formal reasoning about programs

... To shm·, correctness of a program it is necessary to find an expression for its termination properties which will depend on the induction rules f"or the data structures of the program...[r] ... See full document

... on formal speci cations, and automation in ...an approach to generating test cases from UML Statecharts for components testing ...the approach for integration testing and provide effective tool ... See full document

... The Rice theorem [11] states that it is impossible to formalize a method to differentiate a single, no trivial semantic property to all computer programs. A trivial semantic property is a semantic property that is ... See full document

... An advantage of this approach is that proofs written in Coq are terms in a small and well understood mathematical calculus and can therefore be verified independently. Hence, it is possible to write a proof ... See full document

... Formal reasoning is characterized by logical reasoning advancing from concrete to abstract forms (Lister, ...mention, formal operational reasoning is the most abstract form of ... See full document

... Haskell-style programs using our framework do not quite describe the same programs as the programs in Generic Haskell ...reason about its semantics ...different approach to that we ... See full document

... standard approach to information flow in a multi-agent system has been presented in [8] but it does not present a formal description of epistemic programs and their ...such programs and ... See full document

... Chen’s approach is the assertion that directed, annotated provenance graphs are not ideally suited to data mining for two reasons: 1) provenance graphs can have thousands of nodes and ... See full document

... The logic proposed by Halpern and Rˆego (2006, 2009b) was criticised by re- searchers working on formal models of awareness in mathematical economics, where the approach to modelling awareness and the ... See full document

... To the best of our knowledge, no requirements management tools exists which are capable of reasoning about requirements relations using formal se- mantics. Therefore, we developed a tool named TRIC ... See full document

... actors are usually the stakeholders of the system, while the other technical actors are technical systems that the technical system under development is going to interact with. The developer can identify such information ... See full document

... I will develop a system of formal logic for sentential versions of defeasible rules and compare this logic to other formal systems proposed as a foundation for non-monotonic reasoning.. [r] ... See full document

... automata-theoretic approach for reasoning about LTLA formulas and use it in order to solve, in PSPACE, the satisfiability problem for the existential fragment of LTLA and the model-checking problem ... See full document

... automatic reasoning and interpretation. These formal models, called also ontologies, are used to offer formal semantics (forms interpretable by machine) to all kinds of ...the reasoning is ... See full document

... [r] ... See full document

... 2.2.3. Reasoning about Intrusion Evidence The Bayesian networks constructed in this way offer an ex- cellent opportunity to reason about the uncertain in- trusion evidence, particularly the IDS ... See full document

... But, due to the introduction of a new dependee, this measure appears to have another consequence on the relationships between Bob, Alice and Jos. As Jos is also able to fulfil Alice’s critical service, Alice could ... See full document

... In addition, the thesis contains a study of the notion of determinacy and confluence in the mobile setting, with emphasis on the development of results and techniques regarding these and[r] ... See full document

... The usability specification part of the theorem states that if we assume the vending machine starts in its reset state, and the user does not have chocolate but has [r] ... See full document

... ideas about how nature should ...teleological reasoning may have evolutionary ...tive reasoning about nature: “Through teleology, nature becomes ... See full document