Visar resultat 1 - 5 av 121 avhandlingar innehållade ordet deductive.
Sammanfattning : In this essay I defend the notion of deductive explanation mainly against two types of putative counterexamples: those found in genuinely indeterministic systems and those found in complex dynamic systems. Using Railton's notions of explanatory information and ideal explanatory text, deductivism is defended in an indeterministic setting. LÄS MER
Sammanfattning : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. LÄS MER
Sammanfattning : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. LÄS MER
Sammanfattning : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. LÄS MER
Sammanfattning : .... LÄS MER