1895 search results - page 324 / 379 » Using ATL for Checking Models |
159
Voted
FASE
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
108
click to vote
APSEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
128
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
126
click to vote
PST
2008
15 years 3 months ago
2008
Can we trust without any reliable truth information? Most trust architectures work in a similar way: a trustor makes some observations, rates the trustee, and makes recommendations...
130
click to vote
MICAI
2010
Springer
15 years 25 days ago
2010
Springer
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...