Advertisement

Immediate Assertions

  • Ashok B. Mehta
Chapter

Abstract

This chapter will introduce the “Immediate” assertions (immediate “assert,” “cover,” “assume”) starting with a simple definition and leading to detailed nuances of its semantics and syntax.

Keywords

Immediate assertions Deferred immediate 

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Ashok B. Mehta
    • 1
  1. 1.DefineView ConsultingLos GatosUSA

Personalised recommendations