Skip to search formSkip to main contentSkip to account menu

KeY

Known as: Key system 
The KeY tool is used in formal verification of Java programs. It accepts specifications written in the Java Modeling Language to Java source files… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
Automated theorem provingControl flowDebuggingDynamic logic (modal logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
The Washington Manual of Critical Care
The Washington Manual of Critical Care, 2/e - Libros de Medicina - Medicina intensiva - 39,90 
Review
2007
Review
2007
A NEW HABITAT CLASSIFICATION AND MANUAL FOR STANDARDIZED HABITAT MAPPING
Today the documentation of natural heritage with scientific methods but for conservation practice – like mapping of actual… 
2005
2005
Abelhas africanizadas Apis mellifera scutellata Lepeletier, 1836 (Hymenoptera: Apidae: Apinae) exploram recursos na floresta amazônica?
The African honeybees (Apis mellifera scutellata) were introduced accidentally to Brazil in 1956 where it subsequently interbred… 
2004
2004
Pore expansion in mesoporous silicas using supercritical carbon dioxide
In this paper we report the controlled expansion of pores within mesoporous silicas using supercritical carbon dioxide (sc-CO2… 
2000
2000
Estimates of soil erosion and deposition of cultivated soil of Nakhla watershed, Morocco
Despite the eff e c t ive threat of erosion, for soil preservation and productivity in Morocco, there is still only limited… 
2000
2000
An information infrastructure for disaster management in Pacific Island countries
A study into the information infrastructure of disaster management in the Pacific Island Countries is presented to ensure… 
2000
2000
Application of 137 Cs for measuring soil erosion/deposition rates in Romania
Two methods of monitoring soil redistribution along agroterraces were explored in Tarina basin of the Moldavian Plateau: the… 
1999
1999
The measurement of ice velocity, mass balance and thinning-rate on Johnsons Glacier, Livingston Island, South Shetland Islands, Antarctica
A network of twenty stakes was set up on Johnsons Glacier in order to determine its dynamics. During the austral surmmers from… 
1999
1999
EFFECTS OF INTERANNUAL VARIATION OF PRECIPITATION ON STREAM DISCHARGE FROM RHODE RIVER SUBWATERSHEDS 1
ABSTRACT: The purpose of this study was to determine the relationships between precipitation at the seasonal and annual scale and… 
1994
1994
RECHARGE ESTIMATES USING A GEOMORPHIC/DISTRIBUTED‐PARAMETER SIMULATION APPROACH, AMARGOSA RWER BASIN
ABSTRACT: Average-annual volumes of runoff, evapotranspiration, channel loss, upland (interchannel) recharge, and total recharge… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)