Search Results - formal verification

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking / by Drusinsky, Doron

An electronic book accessible through the World Wide Web; click to view

Verification techniques for system-level design by Fujita, Masahiro, 1956-

Subjects: An electronic book accessible through the World Wide Web; click to view

Formal method industrial use from model to the code /

Table of Contents: “…From classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build.…”
An electronic book accessible through the World Wide Web; click to view

Behind the crisis Marx's dialectics of value and knowledge / by Carchedi, Guglielmo

Table of Contents: “…Foreword: on Marx's contemporary relevance -- Method -- The need for dialectics -- Dialectical logic and social phenomena -- The dialectics of individual and social phenomena -- Class-analysis and the sociology of non-equilibrium -- A dialectics of nature? -- Formal logic and dialectical logic -- Induction, deduction and verification -- Debates -- Recasting the issues -- Abstract labour as the only source of (surplus-) value -- The materiality of abstract labour -- The tendential fall in the average profit-rate (ARP) -- The transformation-'problem' -- The alien rationality of homo economicus -- Crises -- Alternative explanations -- The cyclical movement -- The subprime debacle -- Either Marx or Keynes -- Subjectivity -- Crisis-theory and the theory of knowledge -- Neither information-society nor service-society -- Individual knowledge -- Social knowledge -- Labour's knowledge -- Knowledge and value -- The general intellect -- Science, technique and alien knowledge -- Trans-epochal and trans-class knowledge -- Knowledge and transition.…”
An electronic book accessible through the World Wide Web; click to view

Engineering principles of combat modeling and distributed simulation

Table of Contents: “…Noseworthy -- Combat modeling using the DEVS formalism / I.-C. Moon & T.G. Kim -- GIS data for combat modeling / J.D. …”
An electronic book accessible through the World Wide Web; click to view