HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

Abstract

ing external engines It is well known that service abstraction is a very useful tactic to accomplish modifiability. We use it also to prevent our design to be tied to specific external analysis engines, introducing some components that abstract services offered by that external software. We established three main families: sequent calculators, counter… (More)
DOI: 10.4204/EPTCS.139.7

Topics

1 Figure or Table

Slides referencing similar topics