Runtime Verification using LARVA Article Swipe
Related Concepts
Software deployment
Larva
Computer science
Range (aeronautics)
Software engineering
Engineering
Ecology
Biology
Aerospace engineering
Christian Colombo
,
Gordon J. Pace
·
YOU?
·
· 2018
· Open Access
·
· DOI: https://doi.org/10.29007/n7td
· OA: W2786425507
YOU?
·
· 2018
· Open Access
·
· DOI: https://doi.org/10.29007/n7td
· OA: W2786425507
Larva, which has been in use and continuous development for almost a decade, has been extended in several ways and used in a wide range of scenarios, from industrial deployment to educational ones. In this paper we give an overview of Larva and give an overview of its extensions and uses.
Related Topics
Finding more related topics…