7820 search results - page 42 / 1564 » Formalization of Time and Space |
FMICS
2008
Springer
15 years 1 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
59
Voted
TCS
1998
15 years 10 days ago
1998
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response
114
Voted
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture