A Roadmap for Formal Property Verification by Pallab Dasgupta (English) Paperbac
154,64 €
By Pallab Dasgupta. Author Pallab Dasgupta. Have I written enough properties?. Have I written a consistent set of properties?. What should I do when the FPV tool runs into capacity issues?. Languages for Temporal Properties.
Jetzt bei Ebay:
