802 search results - page 127 / 161 » On the formal semantics of IF-like logics |
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
SIGSOFT
1998
ACM
14 years 14 days ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
CAV
2009
Springer
14 years 7 days ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
FUIN
2006
13 years 8 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
IAJIT
2010
13 years 6 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...