2520 search results - page 9 / 504 » Model-checking behavioral programs |
72
Voted
PADL
2007
Springer
15 years 7 months ago
2007
Springer
104
Voted
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
81
Voted
ICALP
1993
Springer
15 years 4 months ago
1993
Springer
83
Voted
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
90
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...