A Non-linear Arithmetic Procedure for Control-Command Software Verification.

Pierre Roux, Mohamed Iguernlala, Sylvain Conchon

Browse the full TACAS paper archive.