Login / Signup
Gilbert Pajela
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Deterministic Finite Automaton
Automated Verification
Reactive Systems
Model Checking
Top Venues
SPIN
</>
Publications
</>
Subash Shankar
,
Gilbert Pajela
A Tool Integrating Model Checking into a C Verification Toolset.
SPIN
(2016)