Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1

Source URL: ti.arc.nasa.gov

• Formal methods
• Static program analysis
• Theoretical computer science
• Safety
• Computer security
• Safety case
• KeY
• Hoare logic
• Formal verification
• Proof-carrying code
• Hazard analysis
• Loop invariant

Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract

Source URL: people.rennes.inria.fr

• Formal methods
• Type theory
• Dependently typed programming
• Theoretical computer science
• Logic in computer science
• Coq
• Abstract interpretation
• CurryHoward correspondence
• Predicate transformer semantics
• Proof-carrying code
• Correctness
• Lines of Action

Brazilian Journal of Physics, vol. 34, no. 4B, December, Surface Charges and External Electric Field in a Toroid Carrying a Steady Current

Source URL: www.ifi.unicamp.br

• Coordinate systems
• Toroidal coordinates
• Bispherical coordinates

Annual Compliance Report - Guidance Notes - General Legal or natural persons carrying out any relevant financial business or relevant activity, as defined in the Prevention of Money Laundering and Funding of Terrorism Re

Source URL: www.fiumalta.org

• Financial regulation
• Money laundering
• Tax evasion
• Terrorism
• Audit
• Patriot Act
• Title III
• Subtitle B

Basalt Regional Library District WARNING FIREARMS PROHIBITED The Basalt Regional Library District, § , C.R.S., prohibits the open carrying of any firearm or handgun, as defined in § e.5). C.R.S.

Source URL: basaltlibrary.org

Research in Human Ecology Recognizing Overshoot: Succession of an Ecological Framework Jessica Schultz1 Department of Sociology

Source URL: www.humanecologyreview.org

• Environment
• Environmental sociology
• Ecological modernization
• William R. Catton
• Jr.
• Human ecology
• Sociology
• Overshoot
• Sustainability
• Environmental movement
• Environmental psychology
• Carrying capacity

Carrying a Heavy Load— The Impact of Educational Debt Leslie A. Gordon

Source URL: www.sfbar.org

• Debt
• Loans
• Credit
• Student debt
• Student loan
• Student loans in the United States
• Debt settlement

We have established FIR theory which can estimate the Friction Resistance by measuring and evaluating roughness(Rz) and wavelength(RSm) of the paint surface, and have been carrying out the evaluation of fuel saving effec

Source URL: www.cmp.co.jp

• Tribology
• Classical mechanics
• Hydraulic engineering
• Mechanical engineering
• Metalworking terminology
• Surface roughness
• Friction
• Paint
• Roughness
• Fouling
• Biofouling
• Ship

A. K. T. Assis and J. A. Hernandes, The Electric Force of a Current – Weber and the Surface Charges of Resistive Conductors Carrying Steady Currents (Apeiron, Montreal, 2007), ISBN: Errata - Page 166,

Source URL: www.ifi.unicamp.br

Characterization of Topological Structure and Self-Diffusion of Elastomers by NMR Method Kulagina T.P., Karnaukh G.E. Institute of Problems of Chemical Physics, RAS For carrying out operated synthesis and application of

Source URL: www.physchem.msu.ru

• Transport phenomena
• Nuclear magnetic resonance
• Polymer physics
• Materials science
• Elastomer
• Polymer
• Molecular diffusion
• Relaxation
• Diffusion