1. Integrated Language Definition TestingLennart Kats Delft University of TechnologyRob VermaasLogicBloxEelco Visser Delft University of Technology 2. Language…