437 search results - page 73 / 88 » Proving Termination by Divergence |
154
click to vote
FSEN
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
146
click to vote
TABLEAUX
2007
Springer
16 years 8 days ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
174
click to vote
TLCA
2007
Springer
16 years 8 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
163
click to vote
EDOC
2006
IEEE
16 years 6 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
168
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...