2 papers
cs.SE2023
User-Driven Abstraction for Model Checking
Glenn Bruns
Model checking has found a role in the engineering of reactive systems. However, model checkers are still strongly limited by the size of the system description they can check. Her…
cs.LO2023
A Logical Way to Negotiate Services
Glenn Bruns, Mauricio Cortes
Service providers commonly provide only a fixed catalog of services to their clients. Both clients and service providers can benefit from service negotiation, in which a client mak…