Improving formal verification practicability through user oriented models and context-awareness.

Amine Raji, Philippe Dhaussy

Browse the full MODELS paper archive.