3028 search results - page 409 / 606 » Integrating Temporal Logics |
160
click to vote
SIGDOC
2004
ACM
16 years 7 hour ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
168
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
180
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
167
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
191
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...