1508 search results - page 183 / 302 » A Combination Method for Generating Interpolants |
139
click to vote
LISP
2008
15 years 4 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
129
Voted
AUTOMATICA
2005
15 years 4 months ago
2005
This paper presents an algorithm for robust optimal control of regular languages under specified uncertainty bounds on the event cost parameters of the language measure that has b...
141
click to vote
APIN
2004
15 years 4 months ago
2004
The price of electrical energy in Spain has not been regulated by the government since 1998, but determined by the supply from the generators in a competitive market, the so-called...
129
Voted
INFSOF
1998
15 years 4 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
129
click to vote
TCAD
1998
15 years 4 months ago
1998
—New methods for fault-effect propagation and state justification that use finite-state-machine sequences are proposed for sequential circuit test generation. Distinguishing se...