Victor Perez-Carrasco

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 3

Top Topics

Automatic Analysis

Language Generation

Consistency Checking

Top Venues

Theory Pract. Log. Program.

Publications

Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR (2021)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21 (6) (2021)
Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. SAS (2020)