Login / Signup
Synthesizing LTL contracts from component libraries using rich counterexamples.
Antonio Iannopollo
Inigo Incer
Alberto L. Sangiovanni-Vincentelli
Published in:
Sci. Comput. Program. (2024)
Keyphrases
</>
model checking
temporal logic
digital libraries
supply chain
linear temporal logic
real world
high level
multimedia
software components
deterministic automata
real time
neural network
description logics
linear time temporal logic