6 search results - page 2 / 2 » A Modal Logic for Full LOTOS based on Symbolic Transition Sy... |
IANDC
2011
13 years 15 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...