683 search results - page 8 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
MMMACNS
2005
Springer
14 years 25 days ago
2005
Springer
ATVA
2005
Springer
14 years 26 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
WRLA
2010
13 years 5 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
ATAL
2003
Springer
14 years 17 days ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
ATAL
2005
Springer
14 years 26 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...