Back to Search Start Over

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages

Authors :
Boer, F.S. (Frank) de
Johnsen, E.B. (Einar Broch)
Schlatte, R. (Rudolf)
Tapia Tarifa, S.L. (Lizeth)
Tveito, L. (Lars)
Boer, F.S. (Frank) de
Johnsen, E.B. (Einar Broch)
Schlatte, R. (Rudolf)
Tapia Tarifa, S.L. (Lizeth)
Tveito, L. (Lars)
Publication Year :
2020

Abstract

This is a Maude implementation of concolic execution for a guarded commands language.

Details

Database :
OAIster
Notes :
English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1380621540
Document Type :
Electronic Resource

Tools

Authors Abstract Subjects Details