4 citations · 8 across the 4 of their papers we have counts for
4 papers
Embedding Differential Dynamic Logic in PVS
J. Tanner Slagel, Mariano Moscato, Lauren White +3
Differential dynamic logic (dL) is a formal framework for specifying and reasoning about hybrid systems, i.e., dynamical systems that exhibit both continuous and discrete behaviors…
Automatic generation and verification of test-stable floating-point code
Laura Titolo, Mariano Moscato, Cesar A. Muñoz
Test instability in a floating-point program occurs when the control flow of the program diverges from its ideal execution assuming real arithmetic. This phenomenon is caused by th…
Eliminating Unstable Tests in Floating-Point Programs
Laura Titolo, Cesar A. Muñoz, Marco A. Feliu +1
Round-off errors arising from the difference between real numbers and their floating-point representation cause the control flow of conditional floating-point statements to deviate…
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
Manuel Giménez, Mariano M. Moscato, Carlos G. Lopez Pombo +1
Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and he…