3566 search results - page 27 / 714 » Signed Logic Programs |
139
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
199
Voted
POPL
2002
ACM
16 years 3 months ago
2002
ACM
100
Voted
PADL
2007
Springer
15 years 8 months ago
2007
Springer
83
Voted
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
106
Voted
ESOP
1999
Springer
15 years 7 months ago
1999
Springer