133 search results - page 11 / 27 » Proving Properties for Behavioural Specifications with Term ... |
SAC
2002
ACM
13 years 10 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
DEDS
2006
13 years 10 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
AIA
2006
14 years 6 days ago
2006
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
DAC
2009
ACM
14 years 2 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...