690 search results - page 69 / 138 » Testing Temporal Logic Properties in Distributed Systems |
116
Voted
CICLING
2011
Springer
14 years 4 months ago
2011
Springer
In recent years, extraction of temporal relations for events that express sentiments has drawn great attention of the Natural Language Processing (NLP) research communities. In thi...
101
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
78
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
ENTCS
2006
15 years 18 days ago
2006
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...