χChek: a model checker for multi-valued reasoning

Authors:
Steve Easterbrook;Marsha Chechik;Benet Devereux;Arie Gurfinkel;Albert Lai;Victor Petrovykh;Anya Tafliovich;Christopher Thompson-Walsh
Affiliations:
University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada
Venue:
Proceedings of the 25th International Conference on Software Engineering
Year:
2003

Parametric shape analysis via 3-valued logic

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A framework for multi-valued reasoning over inconsistent viewpoints

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Model exploration with temporal logic query checking

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Lightweight Reasoning about Program Correctness

Information Systems Frontiers
Temporal-Locig Queries

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Multi-valued symbolic model-checking

ACM Transactions on Software Engineering and Methodology (TOSEM)

Three-Valued Spotlight Abstractions

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Sensitivity analysis in model-driven engineering

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems

Hi-index	0.00