Context-Aware Trace Contracts

This publication has 35 references indexed in Scilit:

• Dynamic Logic with Trace Semantics
  2013
• Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
  Electronic Proceedings in Theoretical Computer Science, 2012
• A Liskov Principle for Delta-Oriented Programming
  2012
• ABS: A Core Language for Abstract Behavioral Specification
  2011
• Typestates for Objects
  2004
• Resources, Concurrency and Local Reasoning
  2004
• State space reduction using partial order techniques
  International Journal on Software Tools for Technology Transfer, 1999
• A behavioral notion of subtyping
  ACM Transactions on Programming Languages and Systems, 1994
• A propositional modal logic of time intervals
  Journal of the ACM, 1991
• Temporal logic can be more expressive
  Information and Control, 1983