2520 search results - page 9 / 504 » Model-checking behavioral programs |
151
Voted
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
147
click to vote
ICALP
2004
Springer
15 years 11 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...