1799 search results - page 20 / 360 » The Logic of Correctness in Software Engineering |
119
click to vote
IICAI
2007
15 years 3 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
105
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
118
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
110
click to vote
EWSA
2004
Springer
15 years 7 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
