The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1973-1991 (58) 1992 (44) 1993 (33) 1994 (29) 1995 (31) 1996 (19) 1997 (22) 1998 (30) 1999 (25) 2000 (23) 2001 (25) 2002 (31) 2003 (35) 2004 (40) 2005 (47) 2006 (50) 2007 (48) 2008 (51) 2009 (46) 2010 (22) 2011 (18) 2012-2013 (46) 2014 (33) 2015 (38) 2016 (29) 2017 (29) 2018 (47) 2019 (46) 2020 (46) 2021 (41) 2022 (32) 2023 (39) 2024 (9)
Publication types (Num. hits)
article(308) book(3) incollection(6) inproceedings(825) phdthesis(18) proceedings(2)
Venues (Conferences, Journals, ...)
TPHOLs(223) CoRR(84) J. Autom. Reason.(47) ITP(41) Arch. Formal Proofs(36) HUG(26) CPP(20) CADE(18) CICM(17) TYPES(15) LPAR(12) Formal Aspects Comput.(11) Formal Methods Syst. Des.(11) IJCAR(11) FMCAD(9) ICTAC(9) More (+10 of total 350)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 412 occurrences of 249 keywords

Results
Found 1176 publication records. Showing 1162 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
117Steven Obua, Sebastian Skalberg Importing HOL into Isabelle/HOL. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
86Cheng-Shang Chang, Duan-Shin Lee, Chao-Lin Yu Generalization of the Pollaczek-Khinchin formula for throughput analysis of input-buffered switches. Search on Bibsonomy INFOCOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
83Osman Hasan, Sofiène Tahar Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Real-time systems, Communication protocols, Higher-order-logic, Probability theory, HOL theorem prover
73Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford Formally Linking MDG and HOL Based on a Verified MDG System. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF hybrid verification systems, deductive theorem proving, symbolic state enumeration, usability verification, hardware verification
73Norbert Völker Disjoint Sums over Type Classes in HOL. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
73Juin-Yeu Lu, Shiu-Kai Chin Linking HOL to a VLSI CAD System. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
69Sean McLaughlin An Interpretation of Isabelle/HOL in HOL Light. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
65Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane Reachability analysis using multiway decision graphs in the HOL theorem prover. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reachability analysis, HOL, multiway decision graphs
64Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF correctness, reachability analysis, multiway decision graphs, HOL theorem prover
64Achim D. Brucker, Burkhart Wolff Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation
63John Harrison 0001 HOL Light: An Overview. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
63Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann An Integration of HOL and ACL2. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Tarek Mhamdi, Sofiène Tahar Providing Automated Verification in HOL Using MDGs. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Behzad Akbarpour, Sofiène Tahar A Methodology for the Formal Verification of FFT Algorithms in HOL. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Klaus Schneider 0001, Dirk W. Hoffmann A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
63Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy System Description: An Interface Between CLAM and HOL. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
63Brian T. Graham An Interpretation of NODEN in HOL. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
59Morten P. Lindegaard, Anne E. Haxthausen Proof Support for RAISE by a Reuse Approach Based on Institutions. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF proof support, Institutions, algebraic semantics, HOL, RSL
55Osman Hasan, Sofiène Tahar Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Higher-Order-Logic, Interactive Theorem Proving, HOL, Probabilistic Systems, Cumulative Distribution Function
55Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
54Anduo Wang, Fei He 0001, Ming Gu 0001, Xiaoyu Song Verifying Java Programs By Theorem Prover HOL. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54John Harrison 0001 Towards Self-verification of HOL Light. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Teresa Nachiondo Frinós, José Flich, José Duato Destination-Based HoL Blocking Elimination. Search on Bibsonomy ICPADS (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Thomas Tuerk, Klaus Schneider 0001, Mike Gordon Model Checking PSL Using HOL and SMV. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54John Harrison 0001 A HOL Theory of Euclidean Space. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
54Joe Hurd Integrating Gandalf and HOL. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
54Hajime Sawamura, Daisaku Asanuma Mechanizing Relevant Logics with HOL. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
48Osman Hasan, Sofiène Tahar Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coupon collector’s problem, Probabilistic analysis, Higher-order-logic, Probability theory, Statistical properties, HOL theorem prover
48Matt Fairtlough, Michael Mendler, Xiaochun Cheng Abstraction and Refinement in Higher Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Zheng Zhu, Jeffrey J. Joyce, Carl-Johan H. Seger Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Sander Vermolen, Jozef Hooman, Peter Gorm Larsen Proving consistency of VDM models using HOL. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, theorem proving, VDM, HOL, model consistency
46Achim D. Brucker, Burkhart Wolff An Extensible Encoding of Object-oriented Data Models in hol. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, Theorem proving, Object-oriented data models, hol
46Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL
45Markus Kaiser 0002, Ralf Lämmel An Isabelle/HOL-based model of stratego-like traversal strategies. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego
45Stephen H. Brackin A HOL extension of GNY for automatically analyzing cryptographic protocols. Search on Bibsonomy CSFW The full citation details ... 1996 DBLP  DOI  BibTeX  RDF HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
45B. M. Subraya, Anshul Kumar, Shashi Kumar An HOL based framework for design of correct high level synthesizers. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF HOL based framework, high level synthesizer design, design correctness guarantee, verifiable templates, synthesis module correctness, formal verification, high level synthesis, modularity, formal logic, higher order logic, verification process, formal framework
44Peter V. Homeier The HOL-Omega Logic. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Alexander Schimpf, Stephan Merz, Jan-Georg Smaus Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Achim D. Brucker, Burkhart Wolff hol-TestGen. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF symbolic test-case generations, theorem proving, black box testing, white box testing, interactive testing
44Osman Hasan, Sofiène Tahar Verification of Expectation Properties for Discrete Random Variables in HOL. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Robert L. Constable, Wojciech Moczydlowski Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Teresa Nachiondo Frinós, José Flich, José Duato Efficient Reduction of HOL Blocking in Multistage Networks. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Achim D. Brucker, Burkhart Wolff Interactive Testing with HOL-TestGen. Search on Bibsonomy FATES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF symbolic test case generations, theorem proving, black box testing, white box testing, interactive testing
44Florian Kammüller, Jeff W. Sanders Idempotent Relations in Isabelle/HOL. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Joe Hurd An LCF-Style Interface between HOL and First-Order Logic. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Graeme Smith 0001, Florian Kammüller, Thomas Santen Encoding Object-Z in Isabelle/HOL. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF reference semantics, Object-Z, higher-order logic, Isabelle
44Freek Wiedijk Mizar Light for HOL Light. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Pavel Naumov, Mark-Oliver Stehr, José Meseguer 0001 The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Koichi Takahashi, Masami Hagiya Proving as Editing HOL Tactics. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Tactic-Based Theorem Prover, User interface, Higher Order Logic, Emacs
44Haiyan Xiong, Paul Curzon, Sofiène Tahar Importing MDG Verification Results into HOL. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon An Interface between Clam and HOL. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Thomas Santen A Theory of Structured Model-Based Specifications in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
44John Harrison 0001 Verifying the Accuracy of Polynomial Approximations in HOL. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
44Don Syme A New Interface for HOL - Ideas, Issues and Implementation. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Otmane Aït Mohamed Mechanizing a pi-Calculus Equivalence in HOL. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson The HOL-UNITY Verification System. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Elsa L. Gunter A Broader Class of Trees for Recursive Type Definitions for HOL. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Myra Van Inwegen, Elsa L. Gunter HOL-ML. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Monica Nesi Value-Passing CCS in HOL. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson Program Verification using HOL-UNITY. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
39Deng Pan, Yuanyuan Yang 0001 FIFO-Based Multicast Scheduling Algorithm for Virtual Output Queued Packet Switches. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF virtual output queued (VOQ) switch, head of line (HOL) blocking, scheduling, Multicast, crossbar switch, multicast switch
39Sabine Glesner, Jan Olaf Blech Coalgebraic Semantics for Component Systems. Search on Bibsonomy Architecting Systems with Trustworthy Components The full citation details ... 2004 DBLP  DOI  BibTeX  RDF verification, semantics, Components, Isabelle/HOL, coinduction, component interaction
39David von Oheimb, Tobias Nipkow Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, Hoare logic, side effects, dynamic binding, Isabelle/HOL, auxiliary variables
39David von Oheimb Hoare Logic for Mutual Recursion and Local Variables. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
38Behzad Akbarpour, Sofiène Tahar An approach for the formal verification of DSP designs using Theorem proving. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Herman Geuvers (In)consistency of Extensions of Higher Order Logic and Type Theory. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38John Harrison 0001 Formalizing Basic First Order Model Theory. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Wolfgang Naraschewski, Markus Wenzel 0001 Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Michael Jurczyk Performance and Implementation Aspects of Higher Order Head-of-Line Blocking Switch Boxes. Search on Bibsonomy ICPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF central memory buffering, higher order blocking effects, multistage cube network, nonuniform traffic patterns, switch box implementation
38Ralf Reetz Deep Embedding VHDL. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds An embedding of the ACL2 logic in HOL. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HOL4, proof oracle, sound translation, verification, formal methods, logic, first-order logic, higher-order logic, ACL2, HOL
36Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk Formalization of Fixed-Point Arithmetic in HOL. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF theorem-proving, floating-point arithmetic, fixed-point arithmetic, HOL
35Sa'ed Abed, Otmane Aït Mohamed MDGs Reduction Technique Based on the HOL Theorem Prover. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Soundness, Reduction Techniques, Multiway Decision Graphs, HOL Theorem Prover
35Christian Urban Nominal Techniques in Isabelle/HOL. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nominal logic work, Lambda-calculus, Theorem provers
35Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford Providing a formal linkage between MDG and HOL. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification
35Eunsuk Kang, Mark D. Aagaard Improving the Usability of HOL Through Controlled Automation Tactics. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35James Reynolds Automatically Translating Type and Function Definitions from HOL to ACL2. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Carsten Schürmann, Mark-Oliver Stehr An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. Search on Bibsonomy ICNP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar Formal Analysis and Verification of an OFDM Modem Design using HOL. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff Verification of a Signature Architecture with HOL-Z. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner Formal Verification of Dead Code Elimination in Isabelle/HOL. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35José Duato, José Flich, Teresa Nachiondo Frinós A Cost-Effective Technique to Reduce HOL Blocking in Single-Stage and Multistage Switch Fabrics. Search on Bibsonomy PDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Stefan Berghofer Extracting a Normalization Algorithm in Isabelle/HOL. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Behzad Akbarpour, Sofiène Tahar Modeling System C Fixed-Point Arithmetic in HOL. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35María Engracia Gómez, José Flich, Antonio Robles, Pedro López 0001, José Duato VOQSW: A Methodology to Reduce HOL Blocking in InfiniBand Networks. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF InfiniBand network, virtual lanes, irregular topologies, head-of-line blocking
35Serge Autexier, Till Mossakowski Integrating HOL-CASL into the Development Graph Manager MAYA. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Christine Röckl, Daniel Hirschkoff, Stefan Berghofer Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Ewen Denney A Prototype Proof Translator from HOL to Coq. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Bruno Barras Programming and Computing in HOL. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Jacques D. Fleuriot On the Mechanization of Real Analysis in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song Formal hardware verification by integrating HOL and MDG. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Monica Nesi Formalising a Value-Passing Calculus in HOL. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Meta-theoretic reasoning, Formal verification, Theorem proving, Higher order logic, Process calculi
35Cornelia Pusch Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Sofiène Tahar, Paul Curzon, Jianping Lu Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Haykal Tej, Burkhart Wolff A Corrected Failure Divergence Model for CSP in Isabelle/HOL. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Amy P. Felty, Douglas J. Howe Hybrid Interactive Theorem Proving Using Nuprl and HOL. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright TkWinHOL: A Tool for Window Inference in HOL. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
35Sten Agerholm, Michael J. C. Gordon Experiments with ZF Set Theory in HOL and Isabelle. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1162 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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