2496 search results - page 152 / 500 » Error-detecting properties of languages |
97
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
128
click to vote
ADAEUROPE
2005
Springer
15 years 6 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
89
Voted
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
82
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
108
Voted
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...