Finite-state properties account for an important class of program properties, typically related to the order of operations invoked on objects. Many library implementations therefore include manually written finite-state monitors to detect...
© 2001-2024 Fundación Dialnet · Todos los derechos reservados