Formal Verification and Model Checking Traian Pop Embedded Systems Laboratory Department of Computer and Information Science Linköping University Sweden.
Transcript Formal Verification and Model Checking Traian Pop Embedded Systems Laboratory Department of Computer and Information Science Linköping University Sweden.