Search results for "verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Fei Xie, Guowu Yang, Xiaoyu Song	Compositional Reasoning for Hardware/Software Co-verification.	ATVA	2006	DBLP DOI BibTeX RDF
21	Franjo Ivancic, Zijiang Yang 0006, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar	F-Soft: Software Verification Platform.	CAV	2005	DBLP DOI BibTeX RDF
21	Yongsun Choi, J. Leon Zhao	Decomposition-Based Verification of Cyclic Workflows.	ATVA	2005	DBLP DOI BibTeX RDF
21	Ali Habibi, Sofiène Tahar	An Approach for the Verification of SystemC Designs Using AsmL.	ATVA	2005	DBLP DOI BibTeX RDF
21	Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki	Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool.	HICSS	2004	DBLP DOI BibTeX RDF
21	Jacob Chang, Sergey Berezin, David L. Dill	Using Interface Refinement to Integrate Formal Verification into the Design Cycle.	CAV	2004	DBLP DOI BibTeX RDF
21	Shuvendu K. Lahiri, Randal E. Bryant	Deductive Verification of Advanced Out-of-Order Microprocessors.	CAV	2003	DBLP DOI BibTeX RDF
21	V. V. Iyer	Comparison of Verification Methodologies for Datapath Testing.	MTV	2003	DBLP DOI BibTeX RDF
21	Christian Jacobi 0002	Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving.	CAV	2002	DBLP DOI BibTeX RDF
21	Håkan L. S. Younes, Reid G. Simmons	Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling.	CAV	2002	DBLP DOI BibTeX RDF
21	Roberta Gori, Giorgio Levi	An Experiment in Type Inference and Verification by Abstract Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
21	Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck	Parameterized Verification with Automatically Computed Inductive Assertions.	CAV	2001	DBLP DOI BibTeX RDF
21	Parosh Aziz Abdulla, Bengt Jonsson 0001, Mats Kindahl, Doron A. Peled	A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).	CAV	1998	DBLP DOI BibTeX RDF
21	Dominique Bolignano	Towards a Mechanization of Cryptographic Protocal Verification.	CAV	1997	DBLP DOI BibTeX RDF
21	David L. Dill, Howard Wong-Toi	Verification of Real-Time Systems by Successive Over and Under Approximation.	CAV	1995	DBLP DOI BibTeX RDF
21	Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli	Methodology and System for Practical Formal Verification of Reactive Hardware.	CAV	1994	DBLP DOI BibTeX RDF
21	Siegfried Fischer, Andreas Scholz, Dirk Taubner	Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study.	CAV	1992	DBLP DOI BibTeX RDF
21	Daniela Fausten, Gerhard Haßlinger	Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
21	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido	Extreme Model Checking.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
21	Shmuel Katz, Marcelo Sihman	Aspect Validation Using Model Checking.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
21	Rajeev Alur	Formal Analysis of Hierarchical State Machines.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
21	Paul Loewenstein	Reasoning about State Machines in Higher-Order Logic.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
21	Steven D. Johnson	Manipulating Logical Organization with System Factorizations.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
21	Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck	Integrated Concurrency Analysis in a Software Development Enviornment.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
21	Rami R. Razouk, Michael M. Gorlick	Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
21	Rocco De Nicola, Paola Inverardi, Monica Nesi	Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
21	Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella	Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
21	Jerry R. Burch	Combining CTL, Trace Theory and Timing Models.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
21	Rajeev Joshi, Gerard J. Holzmann	A mini challenge: build a verifiable filesystem.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Verification grand challenge, Filesystem design, Formal verification
21	J Strother Moore	Inductive assertions and operational semantics.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Theorem proving, JVM, Software verification, Verification condition
21	Tom Coffey, Reiner Dojen, Tomas Flanagan	On the automated implementation of modal logics used to verify security protocols.	ISICT	2003	DBLP BibTeX RDF	authentication, security protocols, protocol verification, mobile security, automated verification
21	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency.	HASE	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
21	Yirng-An Chen, Randal E. Bryant	ACV: an arithmetic circuit verifier.	ICCAD	1996	DBLP DOI BibTeX RDF	Binary Moment Diagram, Formal Verification, Arithmetic circuit, BMD, Hierarchical Verification
21	Paul Gallot	Safety of transformations of data trees: Tree transducer theory applied to a verification problem on shell scripts. (Vérification de tranformations de données arborescentes / Vérification de tranformations de données arborescentes: La théorie des transducteurs d'arbres appliquée à un problème de vérification sur les scripts shell).		2021	RDF
21	Dirk Beyer 0001, Heike Wehrheim	Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
21	Amélie Stainer	Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata. (Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates).		2013	RDF
21	Bachir Berkane	Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar. (Verification of synchronous sequential digital hardware systems. Application of the langage Lustre and the verification tool Lesar).		1992	RDF
21	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Contract Strengthening through Constrained Horn Clause Verification.	HCVS/VPT@ETAPS	2022	DBLP DOI BibTeX RDF
21	Bernadette Dorizzi, Raffaele Cappelli, Matteo Ferrara, Dario Maio, Davide Maltoni, Nesma Houmani, Sonia Garcia-Salicetti, Aurélien Mayoue	Fingerprint and On-Line Signature Verification Competitions at ICB 2009.	ICB	2009	DBLP DOI BibTeX RDF	Technical Evaluations, Signature Categorization, Entropy, Fingerprint Verification, On-line signature Verification
21	Walid Karam, Chafic Mokbel, Hanna Greige, Gérard Chollet	Audio-Visual Identity Verification and Robustness to Imposture.	ICB	2009	DBLP DOI BibTeX RDF	audio-visual forgery, talking-face imposture, biometric verification robustness, Identity verification, face animation, voice conversion
21	Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu	Automated assumption generation for compositional verification.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee
21	Ekaterina Auer, Wolfram Luther	Numerical Verification Assessment in Computational Biomechanics.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Numerical verification assessment, validation, uncertainty, result verification
21	Judith A. Markowitz	The Many Roles of Speaker Classification in Speaker Verification and Identification.	Speaker Classification (1)	2007	DBLP DOI BibTeX RDF	speaker authentication, SIV, anti-speaker, disguised voice, speaker variability, verification, authentication, biometric, identification, speaker verification, speaker identification, speaker segmentation, speaker clustering, speaker classification
21	Wei-Tek Tsai, Lian Yu, Feng Zhu 0001, Raymond A. Paul	Rapid Verification of Embedded Systems Using Patterns.	COMPSAC	2003	DBLP DOI BibTeX RDF	Verification patterns, model checking, embedded systems, verification, testing
21	Y. Morihiro, T. Toneda	Formal verification of data-path circuits based on symbolic simulation.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	data-path circuits, symbolic values, transition relation extraction, state graph, input vector sequences, FIFO circuits, LIFO circuits, formal verification, formal verification, graph theory, specification, logic simulation, logic simulation, symbol manipulation, symbolic simulation, Unix workstation
21	Boutheina Chetali	Formal Verification of Concurrent Programs Using the Larch Prover.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY
21	Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin 0001	Efficient Verification using Generalized Partial Order Analysis.	DATE	1998	DBLP DOI BibTeX RDF	High-level Design Validation, Formal Verification, Functional Verification
21	Riccardo Focardi, Roberto Gorrieri	The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Tools and techniques, network protocol verification, access controls, program verification, information flow controls
21	Premkumar T. Devanbu, Stuart G. Stubblebine	Research Directions for Automated Software Verification: Using Trusted Hardware.	ASE	1997	DBLP DOI BibTeX RDF	automated software verification, trusted hardware, content providers, hosted software, networked software, hosting computer, physically secure computing device, embedded certified private key, executable binary, trusted signature, scientific goals, engineering goals, testing, software agents, program verification, browsers, version control, servers, service providers, applets, checks
21	Rolf Drechsler	Verification of Multi-Valued Logic Networks.	ISMVL	1996	DBLP DOI BibTeX RDF	multi-valued logic networks verification, ordered multi-valued decision diagrams, two-valued circuits, formal verification, heuristics, logic testing, directed graphs, directed acyclic graph, multivalued logic circuits, functional equivalence
21	Olivier Thiry, Luc J. M. Claesen	A formal verification technique for embedded software.	ICCD	1996	DBLP DOI BibTeX RDF	embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set
21	Satoshi Yamane	Verification system for real-time specification based on extended real-time logic.	RTCSA	1995	DBLP DOI BibTeX RDF	extended real-time logic, Timed CTL, verification system, bounded temporal operator, freeze quantification, real-time systems, formal specification, formal verification, temporal logic, real-time specification
21	Lars Hedrich, Erich Barke	A formal approach to nonlinear analog circuit verification.	ICCAD	1995	DBLP DOI BibTeX RDF	analog nonlinear circuits, formal verification, functional verification, electronic design automation, behavioral description
21	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
20	Carlos Ivan Castro Marquez, Marius Strum, Jiang Chau Wang	A PD-based methodology to enhance efficiency in testbenches with random stimulation.	SBCCI	2009	DBLP DOI BibTeX RDF	parameter domains, system-on-chip, design methodologies, functional verification, coverage analysis
20	Michael Siegel, Adriana Maggiore, Christian Pichler	Untwist your brain: efficient debugging and diagnosis of complex assertions.	DAC	2009	DBLP DOI BibTeX RDF	SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis
20	Simon Lucey, Tsuhan Chen	A Viewpoint Invariant, Sparsely Registered, Patch Based, Face Verifier.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Patch-whole modeling, Face verification, Viewpoint invariance
20	Olga Kouchnarenko, Arnaud Lanoix	How to Verify and Exploit a Refinement of Component-Based Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	LTL properties, verification, composition, refinement, modules, component-based systems
20	Yongwha Chung, Daesung Moon, Taehae Kim, Sung Bum Pan	A Secure Fingerprint Authentication System on an Untrusted Computing Environment.	TrustBus	2005	DBLP DOI BibTeX RDF	Untrusted Clients, Embedded Sensors, Biometrics, Fingerprint Verification
20	Jan Peleska 0001, Bettina Buth	Formal Methods for the International Space Station ISS.	Correct System Design	1999	DBLP DOI BibTeX RDF	Byzantine AgreementProtocol, Generalised Stochastic Petri Nets, Hardware-in-the-loop Test, International Space Station, Model Checking, Formal Verification, CSP, Fault-Tolerant Systems, Test Automation
20	Anindya Roy, Sébastien Marcel	Visual processing-inspired fern-audio features for noise-robust speaker verification.	SAC	2010	DBLP DOI BibTeX RDF	additive white Gaussian noise, binary features, object detection, speaker verification, local binary patterns, noise robustness
20	Didier Lime, Olivier H. Roux	Formal verification of real-time systems with preemptive scheduling.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata
20	Dipankar Das 0002, P. P. Chakrabarti 0001, Rajeev Kumar 0004	Scenario-based timing verification of multiprocessor embedded applications.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	execution scenarios, real time systems, static timing analysis, Timing verification
20	Thirimachos Bourlai, Josef Kittler, Kieron Messer	Designing a smart-card-based face verification system: empirical investigation.	Mach. Vis. Appl.	2009	DBLP DOI BibTeX RDF	Optimisation, System design, Smart card, Face verification
20	Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha	Improving functional verification of embedded systems using hierarchical composition and set theory.	SAC	2009	DBLP DOI BibTeX RDF	hierarchical composition, embedded systems, set theory, functional verification, functional coverage
20	Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama	A Minimized Assumption Generation Method for Component-Based Software Verification.	ICTAC	2009	DBLP DOI BibTeX RDF	minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning
20	George Sobral Silveira, Alisson Vasconcelos de Brito, Elmar U. K. Melcher	Functional verification of power gate design in SystemC RTL.	SBCCI	2009	DBLP DOI BibTeX RDF	simulation, SystemC, RTL, functional verification, power gate
20	Gabriel Marcilio, Luiz C. V. dos Santos, Bruno C. Albertini, Sandro Rigo	A novel verification technique to uncover out-of-order DUV behaviors.	DAC	2009	DBLP DOI BibTeX RDF	white-box verification, bipartite graphs
20	Chung-Wei Yeh, Chih-Ping Chu	Molecular Verification of Rule-Based Systems Based on DNA Computation.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Knowledge base verification, Rule-based processing, Evolutionary computing and genetic algorithms
20	Josef Urban, Geoff Sutcliffe	ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	verification, automated reasoning, Formalized mathematics
20	Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay	Effective typestate verification in the presence of aliasing.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	program verification, Alias analysis, typestate
20	Changbo Chen, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie	On the verification of polynomial system solvers.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	polynomial system solver, software verification, triangular decomposition
20	Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif	Verification of Mondex electronic purses with KIV: from transactions to a security protocol.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Verification, Refinement, Security protocol, Z, ASM, Mondex
20	Andreas Gal, Christian W. Probst, Michael Franz	Java bytecode verification via static single assignment form.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java bytecode verification, dataflow analysis, static single assignment form
20	Takaaki Yamada, Yoshiyasu Takahashi, Yasuhiro Fujii, Ryu Ebisawa, Hiroshi Yoshiura, Isao Echizen	Evaluation of Integrity Verification System for Video Content Using Digital Watermarking.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	evaluation, video watermarking, integrity verification
20	Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier	Towards verification and testing of Java programs.	SAC	2008	DBLP DOI BibTeX RDF	program verification, java programs, object-oriented testing
20	Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong	UML state machine diagram driven runtime verification of Java programs for message interaction consistency.	SAC	2008	DBLP DOI BibTeX RDF	UML state machine diagrams, java, runtime verification
20	Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao	Verification for Time Consistency of Web Service Flow.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Verification of WS Flow, Annotated OWL_S, Time Ontology, Time Constraints Petri Net, Model Checking
20	Qianhui Althea Liang, J. Leon Zhao	Verification of Unstructured Workflows via Propositional Logic.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	overlapping patterns, unstructured workflow, workflow verification, propositional logic
20	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Enhancing modular OO verification with separation logic.	POPL	2008	DBLP DOI BibTeX RDF	enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification
20	Sushil Chordia, Eric Dettinger, Ed Triou	Different query verification approaches used to test entity SQL.	DBTest	2008	DBLP DOI BibTeX RDF	query mutations, querybuilder, reverse query processing, verification, testing, database, SQL, query, language
20	María Alpuente, Pedro Ojeda, Daniel Romero 0001, Demis Ballis, Moreno Falaschi	An Abstract Generic Framework for Web Site Verification.	SAINT	2008	DBLP DOI BibTeX RDF	Abstrac interpretation, web verification, rewriting
20	Fang Yu 0001, Chao Wang 0001, Aarti Gupta, Tevfik Bultan	Modular verification of web services using efficient symbolic encoding and summarization.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	BPEL, summarization, modular verification
20	Sargur N. Srihari, Kamal Kuzhinjedathu, Harish Srinivasan, Chen Huang 0002, Danjun Pu	Signature Verification Using a Bayesian Approach.	IWCF	2008	DBLP DOI BibTeX RDF	Signature verification, Bayesian approach
20	Kamrul Hasan Talukder, Koichi Harada	Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis.	SNPD	2008	DBLP DOI BibTeX RDF	Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart
20	Anil Deshpande	Verification of IP-Core Based SoC's.	ISQED	2008	DBLP DOI BibTeX RDF	Verification, SoC, Moore's Law
20	Vitomir Struc, Nikola Pavesic	A Palmprint Verification System Based on Phase Congruency Features.	BIOID	2008	DBLP DOI BibTeX RDF	Palmprint verification, 2D phase congruency, Linear discriminant analysis
20	Kenji Hashimoto, Fumikazu Takasuka, Kimihide Sakano, Yasunori Ishihara, Toru Fujiwara	Verification of the Security Against Inference Attacks on XML Databases.	APWeb	2008	DBLP DOI BibTeX RDF	inference attack, security, verification, XML database
20	Alper Sen 0001, Vinit Ogale, Magdy S. Abadir	Predictive runtime verification of multi-processor SoCs in SystemC.	DAC	2008	DBLP DOI BibTeX RDF	predictive verification, deadlock, SystemC, assertion, ESL
20	Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh	Construction of concrete verification models from C++.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, C++, pointers, equivalence checking, dynamic memory allocation
20	Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki	Compositional Model-Checking Verification of Critical Systems.	ICEIS	2008	DBLP DOI BibTeX RDF	Critical software systems, Model-checking, Formal methods, Case study, Compositional verification
20	Anil Kumar Sao, B. Yegnanarayana 0001, B. V. K. Vijaya Kumar	Significance of image representation for face verification.	Signal Image Video Process.	2007	DBLP DOI BibTeX RDF	1-D image processing, Minimum average correlation energy (MACE) filter, Auto-associative neural network (AANN), Face verification
20	Ayaz Farooq, Reiner R. Dumke	Research directions in verification & validation process improvement.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	STP, TMM, V&V, testing maturity model, verification & validation process, software process, SPI, software process improvement, SP, software test process, test process improvement
20	Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray	A Survey of Hybrid Techniques for Functional Verification.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	informal techniques, hybrid, functional verification, formal techniques
20	Milan Ceska 0001, Pavel Erlebach, Tomás Vojnar	Generalised multi-pattern-based verification of programs with linear linked structures.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Dynamic linked data structures, Formal verification, Program analysis
20	Steve M. Shaner, Gary T. Leavens, David A. Naumann	Modular verification of higher-order methods with mandatory calls specified by model programs.	OOPSLA	2007	DBLP DOI BibTeX RDF	grey-box approach, higher order method, mandatory call, model program, verification, specification languages, hoare logic, refinement calculus
20	JuCheng Yang, ByoungJun Min, Dong Sun Park	Fingerprint Verification Based on Absolute Distance and Intelligent BPNN.	FBIT	2007	DBLP DOI BibTeX RDF	matching invariant moments, absolute distance, fingerprint verification, BPNN
20	Mariusz Leszczynski, Wladyslaw Skarbek	Biometric Verification by Projections in Error Subspaces.	RSKT	2007	DBLP DOI BibTeX RDF	singular subspace, within-class errors, biometrics, discriminant analysis, face verification
20	Daniel Große, Rüdiger Ebendt, Rolf Drechsler	Improvements for constraint solving in the systemc verification library.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	constraint-based randomization, systemC verification library, systemC
20	Sarah Damiani, Christopher Griffin 0001, Shashi Phoha, Stephen A. Racunas, Christopher Rogan	Verification of Secure Network Protocols in Uncertain Environments.	Int. J. Wirel. Inf. Networks	2006	DBLP DOI BibTeX RDF	pushdown machine, Protocol verification, discrete event control