Author of the publication

Towards Realizability Checking of Contracts Using Theories.

, , , , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 173-187. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Machine-Checked Proofs for Realizability Checking Algorithms., , and . VSTTE, volume 9593 of Lecture Notes in Computer Science, page 110-123. Springer, (2015)Abella: A Tutorial.. ITP, volume 7406 of Lecture Notes in Computer Science, page 49-50. Springer, (2012)Inductive Validity Cores., , , and . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)The Bedwyr System for Model Checking over Syntactic Expressions., , , , and . CADE, volume 4603 of Lecture Notes in Computer Science, page 391-397. Springer, (2007)The Abella Interactive Theorem Prover (System Description).. IJCAR, volume 5195 of Lecture Notes in Computer Science, page 154-161. Springer, (2008)Relating nominal and higher-order abstract syntax specifications.. PPDP, page 177-186. ACM, (2010)On Implementing Real-Time Specification Patterns Using Observers., , , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 19-33. Springer, (2016)Compositional Verification of Architectural Models., , , , , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 126-140. Springer, (2012)Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts., , , , , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 176-193. Springer, (2018)Trapezoidal Generalization over Linear Constraints., and . ACL2, volume 280 of EPTCS, page 30-46. (2018)