Model checking agent programs by using the program interpreter
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Truly on-the-fly LTL model checking
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
On-the-fly emptiness checks for generalized büchi automata
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Strength-Based decomposition of the property Büchi automaton for faster model checking
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
In interleaved multithreading, the thread changes ineach processor cycle, consecutive instructions are issuedfrom different threads, and no data dependenciescan stall the pipeline. Enhanced inteleaved multithreadingmaintains a number of additional threads ...