( en | de | ru )

 

Disambiguation of "Owre, Sam"

Author of the publication

copydeleteadd this publication to your clipboard
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.

, , , , , , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 147-161. Springer, (2012)

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.

Axel A Øwre

Heidi Owren

Ebie Sam

Inn Sam

Sam Dahlgren

 

Other publications of authors with the same name

Solving the First Verified Software Competition Problems Using PVS., and . Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of Lecture Notes in Computer Science, page 315-328. Springer, (2011)PVS: A Prototype Verification System., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 748-752. Springer, (1992)A Tutorial on Using PVS for Hardware Verification., , , and . TPCD, volume 901 of Lecture Notes in Computer Science, page 258-279. Springer, (1994)Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned., , , and . FME, volume 670 of Lecture Notes in Computer Science, page 482-500. Springer, (1993)An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning., , , , , and . CICM, volume 14101 of Lecture Notes in Computer Science, page 297-302. Springer, (2023)Muse : A Computer Assisted Verification System., , , and . S&P, page 25-33. IEEE Computer Society, (1986)Muse - A Computer Assisted Verification System., , , and . IEEE Trans. Software Eng., 13 (2): 151-156 (1987)PVS: Combining Specification, Proof Checking, and Model Checking., , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 411-414. Springer, (1996)Integration in PVS: Tables, Types, and Model Checking., , and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 366-383. Springer, (1997)Principles and Pragmatics of Subtyping in PVS., and . WADT, volume 1827 of Lecture Notes in Computer Science, page 37-52. Springer, (1999)