Model checking a model checker: A code contract combined approach

Model checking a model checker: A code contract combined approach

Model checkers, like any complex software, are subject to bugs. Unlike ordinary software, model checkers are often used to verify safety critical systems. Their correctness is thus vital. Verifying model checkers is extremely challenging because they are always complicated in logic and highly optimi...

Full description

Saved in:
Bibliographic Details
Main Authors: SUN, Jun, LIU, Yang, CHENG, Bin
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2010
Subjects:
Model Check
Graphical User Interface
Interface Model
Liveness Property
Model Check Algorithm
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5036
https://ink.library.smu.edu.sg/context/sis_research/article/6039/viewcontent/model_checking.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5036
https://ink.library.smu.edu.sg/context/sis_research/article/6039/viewcontent/model_checking.pdf

Similar Items