Alexander S. Kamkin

Learn More
Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the sys-tem's behavior to the specified property is called a monitor. Nowadays, a variety of formalisms are used to express properties on observed behavior of(More)
In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. Test sequence generation is based on traversal of FSM constructed automatically from specifications(More)
  • 1