David__Basin
An On-The-Fly Model-Checker for Security Protocol Analysis
Bytecode Model Checking: An Experimental Analysis
Bytecode Verification by Model Checking
Combining WS1S and HOL
Complexity Analysis Based on Ordered Resolution
Verified bytecode model checkers