Etiquetas
Čegar
model checking
formal
verification
framework
abstraction
analysis
smt
formal verification
methods
reachability
petri
theta
evaluation
configurable
optimization
based
the
cegar
net
approach
boogie
ethereum
solidity
modular
smart contract
solc-verify
software verification
experiment
randomization
logic
compiler
software
optimizations
slicing
size reduction
statecharts
abstractionc
hierarchical
solver
data
performance
exploratory
discotec
2016
a
forte
refinements
market analysis
interpolation
with
trajectory
asconikk
2014
vocal
extensions
nets
to
on
for
new
strategies
conference
search
Ver más
- Presentaciones
- Documentos
- Infografías