2520 search results - page 9 / 504 » Model-checking behavioral programs |
PADL
2007
Springer
14 years 1 months ago
2007
Springer
ESOP
2001
Springer
14 years 2 days ago
2001
Springer
ICALP
1993
Springer
13 years 11 months ago
1993
Springer
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
ICALP
2004
Springer
14 years 29 days 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...