256 search results - page 2 / 52 » Temporal Logics and Model Checking for Fairly Correct System... |
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
MOVEP
2000
13 years 8 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
ISSE
2007
13 years 4 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...