2661 search results - page 167 / 533 » Model Checking Performability Properties |
244
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
143
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
121
Voted
ENTCS
2007
15 years 3 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
134
Voted
SELMAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
156
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...