Login / Signup
María Marta Novaira
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Formal Verification
Model Checker
Reactive Systems
Temporal Logic
Top Venues
LAFM
CLEI
</>
Publications
</>
Gastón Scilingo
,
María Marta Novaira
,
Renzo Degiovanni
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking.
LAFM
(2013)
Gastón Scilingo
,
María Marta Novaira
,
Renzo Degiovanni
,
Nazareno Aguirre
Analyzing formal requirements specifications using an off-the-shelf model checker.
CLEI
(2013)
Javier Blanco
,
Leticia Losano
,
Nazareno Aguirre
,
María Marta Novaira
,
Sonia Permigiani
,
Gastón Scilingo
An introductory course on programming based on formal specification and program calculation.
ACM SIGCSE Bull.
41 (2) (2009)