139
click to vote
FM
15 years 6 months ago
2003 Springer 
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
110
click to vote
FM
15 years 6 months ago
2003 Springer 
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
109
click to vote
FM
15 years 6 months ago
2003 Springer 
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
108
click to vote
FM
15 years 6 months ago
2003 Springer 
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
140
click to vote
FM
15 years 6 months ago
2003 Springer 
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
|
Formal Methods