2062 search results - page 78 / 413 » Derivatives of Logical Formulas |
CONCUR
2004
Springer
15 years 4 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
TACAS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
84
Voted
CONCUR
2004
Springer
15 years 2 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
MCS
2007
Springer
14 years 11 months ago
2007
Springer
The analogue of Black–Scholes formula for vanilla call option price in conditions of (B, S)-securities market with delayed response is derived. A special case of continuous-time...
HASE
2005
IEEE
15 years 4 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...