researchr - search publication PVS

researchr

You are not signed in
Sign in
Sign up

224 publication results matching 'PVS'

PVSBart Jacobs, John M. Rushby. tphol 2006: 24-27 [doi]
PVS#: Streamlined Tacticals for PVSFlorent Kirchner, César Muñoz. ENTCS, 174(11):47-58, 2007. [doi]
Verifying a Sliding Window Protocol using PVS
… We present the deductive verification of safety and liveness properties of a sliding-window protocol using the PVS theorem prover. The protocol is modeled … techniques encoded as PVS automated strategies based on heuristics and decision …
Vlad Rusu. forte 2001: 251-268
PAMELA + PVSBettina Buth. amast 1997: 560-562
Coalgebraic Theories of Sequences in PVSUlrich Hensel, Bart Jacobs. logcom, 9(4):463-500, 1999. [doi]
Mixed Formal Specifications with PVSMichel Allemand, Jean-Claude Royer. ipps 2002: [doi]
A Structural Embedding of Ocsid in PVSPertti Kellomäki. tphol 2001: 281-296 [doi]
Modeling Process Calculi with PVSDmitri Schamschurko. ENTCS, 11:194-211, 1998. [doi]
Proof Certificates in PVSFrédéric Gilbert. itp 2017: 262-268 [doi]
Integrating WS1S with PVSSam Owre, Harald Rueß. cav 2000: 548-551
Elements of Mathematical Analysis in PVSBruno Dutertre. tphol 1996: 141-156
Hardware Verification Using PVSMandayam K. Srivas, Harald Rueß, David Cyrluk. fhv 1997: 156-205
Formalizing Ring Theory in PVSAndréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino. itp 2018: 40-47 [doi]
Formalizing Hoare Logic in PVSNatarajan Shankar. setss 2018: 89-114 [doi]
Principles and Pragmatics of Subtyping in PVSNatarajan Shankar, Sam Owre. WADT 2000: 37-52
PVS: An Experience ReportSam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert. FM 1999: 338-345
PVS: A Prototype Verification SystemSam Owre, John M. Rushby, Natarajan Shankar. cade 1992: 748-752
A Brief Overview of PVSSam Owre, Natarajan Shankar. tphol 2008: 22-27 [doi]
Fixpoints and Search in PVSNatarajan Shankar. laser 2010: 140-161 [doi]
Formalization of Ring Theory in PVSThaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón. JAR, 65(8):1231-1263, 2021. [doi]

Sign in or sign up to see more results.

runs on WebDSL