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.
Highly Cited
2009
Highly Cited
2009
Handbook of Research on Social Interaction Technologies and Collaboration Software: Concepts and Trends
The rapid increase of Internet-based social networking sites has brought attention to the social software phenomenon and… 
2008
2008
Identification of voltage control areas and reactive power reserve; An advancement in on-line voltage security assessment
On-line dynamic security assessment has grown in popularity in recent years due to the need to deal with the ever-increasing… 
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
Action-Reinforcement Learning Versus Rule Learning
How well do various learning models predict the dynamics of the population distribution of play in a variety of games? We measure… 
Highly Cited
1997
Highly Cited
1997
NONPOINT SOURCE DISCHARGES OF NUTRIENTS FROM PIEDMONT WATERSHEDS OF CHESAPEAKE BAY 1
ABSTRACT: We measured annual discharges of water, sediments, and nutrients from 10 watersheds with differing proportions of… 
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)