442 search results - page 80 / 89 » Proof Abstraction for Imperative Languages |
122
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
154
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
165
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
151
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
128
Voted
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...