Mário Garcia

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Linear Temporal Logic

Bounded Model Checking

Top Venues

Softw. Test. Verification Reliab.

Publications

Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Bounded model checking of C++ programs based on the Qt cross-platform framework. Softw. Test. Verification Reliab. 27 (3) (2017)
Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho
: A Bounded Model Checking Tool to Verify Qt Applications. SPIN (2016)