1032 search results - page 18 / 207 » Extended Computation Tree Logic |
RTA
1998
Springer
15 years 1 months ago
1998
Springer
The system FT
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
FUIN
2010
14 years 7 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...