Login / Signup
Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021.
Published in:
VPT@ETAPS (2021)
Keyphrases
</>
symbolic execution
model checking
formal verification
hardware designs
computer programs
database
information retrieval
test cases
petri net
static analysis
formal analysis
linear transformation
program execution
asynchronous circuits
international conference on database theory