From model checking to a temporal proof for partial models

Publication
International Conference on Software Engineering and Formal Methods