1894 search results - page 248 / 379 » A TLA Proof System |
163
click to vote
ENTCS
2006
15 years 4 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
124
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
134
click to vote
IANDC
2007
15 years 4 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
135
click to vote
RSA
2006
15 years 4 months ago
2006
Motivated by a problem that arises in the study of mirrored storage systems, we describe, for any fixed , > 0 and any integer d 2, explicit or randomized constructions of d-r...
140
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes an approach at Volvo Truck Corporation where geometry users' requirements are utilised to define configurable product views. The paper is derived from a ...