Combining type checking with model checking for system verification
Type checking is widely used in mainstream programming languages to detect programming errors at compile time. Model checking is gaining popularity as an automated technique for systematically analyzing behaviors of systems. My research focuses on combining these two software verification techniqu...
Main Author: | |
---|---|
Language: | en_US |
Published: |
2018
|
Subjects: | |
Online Access: | https://hdl.handle.net/2144/27171 |