261 search results - page 34 / 53 » Robustness of Temporal Logic Specifications |
94
Voted
CADE
2002
Springer
15 years 9 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
KBSE
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
FUIN
2008
14 years 9 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
EDBT
2000
ACM
15 years 1 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...