837 search results - page 1 / 168 » Proof Development with OMEGA |
CADE
2002
Springer
14 years 5 months ago
2002
Springer
FMOODS
2006
13 years 6 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
EWSA
2004
Springer
13 years 10 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....
IJBC
2007
13 years 5 months ago
2007
A Chaitin Omega number is the halting probability of a universal prefix-free Turing machine. Every Omega number is simultaneously computably enumerable (the limit of a computable...
SLOGICA
2008
13 years 5 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...