maria-del-mar-gallardo documents

El Bola Ensayo
Documents El Bola Ensayo
Model checking active networks with SPIN
Documents Model checking active networks with SPIN
A Tool for Abstraction in Model Checking
Documents A Tool for Abstraction in Model Checking
A generalized semantics of PROMELA for abstract model checking
Documents A generalized semantics of PROMELA for abstract model checking
On-the-Fly Data Flow Analysis Based on Verification Technology
Documents On-the-Fly Data Flow Analysis Based on Verification Technology