Runtime Conformance Checking of Objects Using Alloy
Authors:
- Michelle L. CraneMCMichelle L. Crane
- Juergen DingelJDJuergen Dingel
Open Access
- 1 October 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 89 (2) , 2-21
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- AlloyACM Transactions on Software Engineering and Methodology, 2002
- Java-MaCElectronic Notes in Theoretical Computer Science, 2001
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- Automating first-order relational logic2000
- Enforcing Design Constraints with Object Logic2000
- Alcoa2000
- JML: A Notation for Detailed Design1999
- Software reliability via run-time result-checkingJournal of the ACM, 1997
- Formal methodsACM Computing Surveys, 1996