The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for pvs with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1995 (17) 1996-1997 (29) 1998 (24) 1999 (27) 2000 (27) 2001 (25) 2002 (21) 2003 (27) 2004 (29) 2005 (33) 2006 (33) 2007 (21) 2008 (26) 2009 (15) 2010-2011 (17) 2012-2014 (22) 2015-2017 (18) 2018-2019 (16) 2020-2022 (21) 2023-2024 (6)
Publication types (Num. hits)
article(94) book(1) incollection(2) inproceedings(356) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 403 occurrences of 197 keywords

Results
Found 454 publication records. Showing 454 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
112Savi Maharaj, Juan Bicarregui On the Verification of VDM Specification and Refinement with PVS. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules
109Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene Using TAME to prove invariants of automata models: Two case studies. Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF software requirements analysis, Software engineering, verification, formal methods, theorem proving
94Youngjin Cho, Younghyun Kim 0001, Naehyuck Chang PVS: passive voltage scaling for wireless sensor networks. Search on Bibsonomy ISLPED The full citation details ... 2007 DBLP  DOI  BibTeX  RDF embedded system, low-power, wireless, DVS, PVS, sensor node
83Jin Song Dong, Yuzhang Feng, Yuan-Fang Li Verifying OWL and ORL Ontologies in PVS. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ORL, Semantic Web, OWL, reasoning, PVS
72Gwen Salaün, J. Christian Attiogbé Formalising an Integrated Language in PVS. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Formal Method Integration, Equivalence Proof, Embedding, Process Algebra, Algebraic Specifications, PVS
72Jean-Paul Bodeveix, Mamoun Filali Type Synthesis in B and the Translation of B to PVS. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF semantics, type theory, PVS, logical frameworks, B
66Heang-Ping Chan, Jun Wei 0002, Yiheng Zhang, Berkman Sahiner, Lubomir M. Hadjiiski, Mark A. Helvie Detection of Masses in Digital Breast Tomosynthesis Mammography: Effects of the Number of Projection Views and Dose. Search on Bibsonomy Digital Mammography / IWDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computer-aided detection, mass, Digital breast tomosynthesis
64Richard F. Paige, Jonathan S. Ostroff Metamodelling and Conformance Checking with PVS. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
64Angelo Gargantini, Elvinia Riccobene Encoding Abstract State Machines in PVS. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
63Chunqing Chen, Jin Song Dong, Jun Sun 0001 A verification system for timed interval calculus. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF real-time systems, theorem proving, specification language, pvs
63Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag Deductive Verification of UML Models in TLPVS. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS
63Jonathan Ford, Ian A. Mason Formal Foundations of Operational Semantics. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF contexts, theorem proving, operational semantics, PVS, calculus
61Mats Per Erik Heimdahl, Barbara J. Czerny Using PVS to analyze hierarchical state-based requirements for completeness and consistency. Search on Bibsonomy HASE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
61Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF verification systems, fault tolerance, formal specification, formal methods, theorem proving, clock synchronization, PVS, Byzantine agreement, hardware verification, flight control
55Fábio O. Moreira, João Comba, Carla Maria Dal Sasso Freitas Smart Visible Sets for Networked Virtual Environments. Search on Bibsonomy SIBGRAPI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Sam Owre, Natarajan Shankar A Brief Overview of PVS. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
53Shinya Umeno, Nancy A. Lynch Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
53Myla Archer Making PVS do what you want. Search on Bibsonomy MEMOCODE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Herwig Lejsek A case-study of scoring schemes for the PvS-index. Search on Bibsonomy CVDB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53David R. Lester Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Search on Bibsonomy Numerical Software with Result Verification The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Michel Allemand, Jean-Claude Royer Mixed Formal Specifications with PVS. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen Assertion-Based Analysis of Hybrid Systems with PVS. Search on Bibsonomy EUROCAST The full citation details ... 2001 DBLP  DOI  BibTeX  RDF deductive methods, machine-assisted verification, hybrid systems
53Myla Archer, Constance L. Heitmeyer Human-Style Theorem Proving Using PVS. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
53Natarajan Shankar Verification of Real-Time Systems Using PVS. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
52Demissie B. Aredo, Olaf Owe Model-Based Verification in the Development of Dependable Systems. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model-based Verification, Model-checking, UML, Formal Methods, PVS, Dependable System
52Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
50Changlong Zhu, Rasha Morsi Formal specification of FFHMIPv6 using PVS. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF FFHMIPv6 packets, formal methods, handover, PVS
50Cinzia Bernardeschi, Paolo Masci 0001, Holger Pfeifer Early Prototyping of Wireless Sensor Network Algorithms in PVS. Search on Bibsonomy SAFECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF WSN algorithms, simulation, PVS
50Neil Evans, Steve A. Schneider Analysing Time Dependent Security Properties in CSP Using PVS. Search on Bibsonomy ESORICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Authentication Protocol Verification, Timed Behaviour, CSP, Automated Theorem Proving, PVS
50John M. Rushby, Sam Owre, Natarajan Shankar Subtypes for Specifications: Predicate Subtyping in PVS. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF typechecking, Formal methods, consistency, type systems, specification languages, subtypes, PVS
44Kai Lampka, Markus Siegle Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. Search on Bibsonomy VALUETOOLS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution
44Suad Alagic, Mark Royer, David Briggs Verification Theories for XML Schema. Search on Bibsonomy BNCOD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Timothy Roden, Ian Parberry Portholes and planes: faster dynamic evaluation of potentially visible sets. Search on Bibsonomy Comput. Entertain. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF portal rendering, visibility, occlusion culling
44Chang Wook Ahn, Ki Pyo Kim, Rudrapatna S. Ramakrishna A Memory-Efficient Elitist Genetic Algorithm. Search on Bibsonomy PPAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Sreeranga P. Rajan, Natarajan Shankar, Mandayam K. Srivas Industrial Strength Formal Verification Techniques for Hardware Designs. Search on Bibsonomy VLSI Design The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
44Harald Rueß, Natarajan Shankar, Mandayam K. Srivas Modular Verification of SRT Division. Search on Bibsonomy CAV The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
42Rob Verhoeven, Francien Dechesne Verifying Multi-party Authentication Using Rank Functions and PVS. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves Verifying Semistructured Data Normalization Using PVS. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Judi Romijn, Wieger Wesselink, Arjan J. Mooij Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Bart Jacobs 0001, John M. Rushby PVS. Search on Bibsonomy The Seventeen Provers of the World The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42John M. Rushby Tutorial: Automated Formal Methods with PVS, SAL, and Yices. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Kun Wei, James Heather Embedding the Stable Failures Model of CSP in PVS. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CSP, deadlock, determinism, liveness, theorem prover
42Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann Verification of Hybrid Systems: Formalization and Proof Rules in PVS. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF deductive methods, machine-assisted verification, hybrid systems
42Cécile Canovas-Dumas, Paul Caspi A PVS Proof Obligation Generator for Lustre Programs. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Hanne Gottliebsen Transcendental Functions and Continuity Checking in PVS. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Twan Basten, Jozef Hooman Process Algebra in PVS. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42W. O. David Griffioen, Marieke Huisman A Comparison of PVS and Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert PVS: An Experience Report. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Susanne Graf, Hassen Saïdi Construction of Abstract State Graphs with PVS. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF state graph exploration, theorem proving, abstract interpretation
42Bruno Dutertre, Steve A. Schneider Using a PVS Embedding of CSP to Verify Authentication Protocols. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42David W. J. Stringer-Calvert, Susan Stepney, Ian Wand Using PVS to Prove a Z Refinement: A Case Study. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41Bart Jacobs 0001, Sjaak Smetsers, Ronny Wichers Schreur Code-carrying theories. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Compression, Code generation, Functional languages, Unification, PVS, Proof assistants
41Chunqing Chen, Jin Song Dong, Jun Sun 0001 Machine-Assisted Proof Support for Validation Beyond Simulink. Search on Bibsonomy ICFEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal Verification, PVS, Simulink, Real-Time Specifications
41Lee Pike A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems
41Marcelo Glusman, Shmuel Katz A Mechanized Proof Environment for the Convenient Computations Proof Method. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF convenient computations, proof environment, deductive theorem proving, formal verification, PVS
41Michael Backes 0001, Christian Jacobi 0002 Cryptographically Sound and Machine-Assisted Verification of Security Protocols. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, cryptography, semantics, specification, PVS, simulatability
41Michael Backes 0001, Christian Jacobi 0002, Birgit Pfitzmann Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF security, cryptography, formal verification, PVS, simulatability
41Vangalur S. Alagar, D. Muthiayen Towards a mechanical verification of real-time reactive systems modeled in UML. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
41Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Software Engineering, Theorem Proving, Parallel Discrete Event Simulation, PVS, Formal specification and verification
40Hassen Saïdi, Susmit Jha, Tuhin Sahai math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
40Florent Kirchner, César A. Muñoz PVS#: Streamlined Tacticals for PVS. Search on Bibsonomy STRATEGIES@IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Peter Mauruschat Das Prozeßrechner-gestützte modulare Farbgrafiksystem PVS/VGS 1300 / The process control computer based colour graphics system PVS/VGS 1300. Search on Bibsonomy Elektron. Rechenanlagen The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
39Qingguo Xu, Huaikou Miao Manipulating Clocks in Timed Automata Using PVS. Search on Bibsonomy SNPD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF clock manipulation, real-time system, Timed Automata, PVS
33Mike Gordon Twenty Years of Theorem Proving for HOLs Past, Present and Future. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Neil Evans, Helen Treharne Interactive tool support for CSP || B consistency checking. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
33Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001 Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Man Wang, Zhihui Du, Yinong Chen, Zhili Cheng A SOA Based Pipeline System to Deal with Astronomy Telescope Data. Search on Bibsonomy SOSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Pipeline Data Processing, Service-Oriented Architecture, Grid Middleware
33Qing Wu, King To Ng, Shing-Chow Chan, Heung-Yeung Shum On object-based compression for a class of dynamic image-based representations. Search on Bibsonomy ICIP (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF formal specification, formal verification, theorem proving, time warp, parallel discrete event simulation
33Ben L. Di Vito High-automation proofs for properties of requirements models. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Avionics software, Proof strategies, Formal methods, Theorem proving, Requirements analysis
33Paul Z. Kolano Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. Search on Bibsonomy ARTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Ulrich Hensel, Marieke Huisman, Bart Jacobs 0001, Hendrik Tews Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. Search on Bibsonomy ESOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Patrick Lincoln, John M. Rushby The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Sayan Mitra, K. Mani Chandy A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Frits W. Vaandrager, Adriaan de Groot Analysis of a biphase mark protocol with Uppaaland PVS. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Biphase mark protocol, Model checking, Formal methods, Timed automata, Theorem provers
31Mauricio Ayala-Rincón, Thomas Mailleux Santana SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. Search on Bibsonomy SBCCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Aditya Kanade, Amitabha Sanyal, Uday P. Khedker A PVS Based Framework for Validating Compiler Optimizations. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang 0001, Jaco van de Pol Verification of a sliding window protocol in µCRL and PVS. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation
31Arjan J. Mooij, Wieger Wesselink Incremental Verification of Owicki/Gries Proof Outlines Using PVS. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Néstor Cataño Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra Translating Timed I/O Automata Specifications for Theorem Proving in PVS. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Weijiang Yu, Aloysius K. Mok Formal Specification and Verification of Resource Bound Security Using PVS. Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Amir Pnueli, Tamarah Arons TLPVS: A PVS-Based LTL Verification System. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Bart Jacobs 0001 Java's Integral Types in PVS. Search on Bibsonomy FMOODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31J. Christian Attiogbé Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Pertti Kellomäki A Structural Embedding of Ocsid in PVS. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Cindy Kong, Perry Alexander, Darryl D. Dieckman Formal modeling of active network nodes using PVS. Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Axel Dold Software Development in PVS Using Generic Development Steps. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF generic development steps, transformational software development, formal verification, mechanized theorem proving
31Dang Van Hung Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Biphase Mark Protocol, Theorem Prover, Duration Calculus
31Pertti Kellomäki Verification of Reactive Systems Using DisCo and PVS. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Jozef Hooman Verifying Part of the ACCESS.bus Protocol Using PVS. Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
31John M. Rushby, Mandayam K. Srivas Using PVS to Prove Some Theorems Of David Parnas. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31David Briggs, Suad Alagic Algebraic specification techniques for parametric types with logic-based constraints. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parametric types, verification theories, assertions, PVS, JML
31Chris George, Anne E. Haxthausen Specification, proof, and model checking of the Mondex electronic purse using RAISE. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, Formal methods, PVS, SAL, RAISE, Mondex
31Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF simulation, verification, theorem proving, PVS, cyclic scheduling
31Wan J. Fokkink, Jun Pang 0001, Jaco van de Pol Cones and foci: A mechanical framework for protocol verification. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Process algebra, PVS, Protocol verification, Branching bisimulation
Displaying result #1 - #100 of 454 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license