2875 search results - page 281 / 575 » Model checking agentspeak |
115
Voted
SPDECE
2007
15 years 4 months ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...
127
Voted
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
131
Voted
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
95
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
138
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...