Search results for "verifying"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Lee Pike, Mark Shields, John Matthews	A verifying core for a cryptographic language compiler.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, certification, optimizing compiler, ACL2, high-assurance, certifying compiler, verifying compiler
41	Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock	The verified software repository: a step towards the verifying compiler.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
41	Shaz Qadeer	Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	specifying and verifying and reasoning about programs, model checking, verification, multiprocessors, Logic design
35	Shujun Zou, Kaiyu Wan, Zongyuan Yang	Modelling and Verifying of Medical Diagnosis System Based on Context-Awareness Framework.	FCST	2010	DBLP DOI BibTeX RDF	Medical Diagnosis System, Context-awarness Framework, Modelling, Verifying, UPPAAL
35	Hongbing Wang, Qianzhao Zhou, Yanqi Shi	Describing and Verifying Web Service Composition Using TLA Reasoning.	IEEE SCC	2010	DBLP DOI BibTeX RDF	Web service, service composition, OWL-S, verifying, TLA
35	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
33	Toru Nakanishi 0001, Hiroki Fujii, Yuta Hira, Nobuo Funabiki	Revocable Group Signature Schemes with Constant Costs for Signing and Verifying.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
33	Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen	Verifying sequential equivalence using ATPG techniques.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF
33	Mark D. Aagaard, Miriam Leeser	Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification.	CAV	1992	DBLP DOI BibTeX RDF
30	Juha Plosila, Kaisa Sere	Action Systems in Pipelined Processor Design.	ASYNC	1997	DBLP DOI BibTeX RDF	pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems
27	Wei Li, Ying Lu, Yi-Chao Zhang, Jian-Guo Wu	A Verifying Method of Controller Synthesis.	CSSE (2)	2008	DBLP DOI BibTeX RDF
27	Lev Reyzin, Nikhil Srivastava	Learning and Verifying Graphs Using Queries with a Focus on Edge Counting.	ALT	2007	DBLP DOI BibTeX RDF
27	Kokichi Futatsugi	Verifying Specifications with Proof Scores in CafeOBJ.	ASE	2006	DBLP DOI BibTeX RDF
27	Malay K. Ganai, Aarti Gupta, Pranav Ashar	DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems.	TACAS	2005	DBLP DOI BibTeX RDF
27	D. M. Atiya, S. King	A compliance notation for verifying concurrent systems.	ICSE	2002	DBLP DOI BibTeX RDF
27	Kiyoharu Hamaguchi, Akihito Morita, Shuzo Yajima	Efficient construction of binary moment diagrams for verifying arithmetic circuits.	ICCAD	1995	DBLP DOI BibTeX RDF	word-level verification, binary moment diagram, arithmetic circuit, design verification
27	Jerry R. Burch	Verifying Liveness Properties by Verifying Safety Properties.	CAV	1990	DBLP DOI BibTeX RDF
24	John Eberhard, Anand Tripathi	Semantics-Based Object Caching in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	specifying and verifying and reasoning about programs, logics and meanings of programs, components, programming languages, distributed objects, containers, theory of computation, Pre and postconditions, software/software engineering, language constructs and features
24	Zhengjun Cao, Mulan Liu	Classification of signature-only signature models.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	signature-only signature, signing party, verifying party, lucidity of a message’s content, method of producing Pk, consequence of updating Sk
24	Egon Börger	The ASM Refinement Method.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Specifying and Verifying and Reasoning about Programs, Models of computation
24	Luc Bougé, David Cachera	On the Completeness of a Proof System for a Simple Data-Parallel Programming Language.	Euro-Par	1995	DBLP DOI BibTeX RDF	Specifying and Verifying and Reasoning about Programs, Concurrent Programming, Hoare Logic, Weakest Preconditions, Proof System, Data-Parallel Languages, Semantics of Programming Languages
24	Jules Desharnais, Nazim H. Madhavji	Relation Level Semantics.	FSTTCS	1988	DBLP DOI BibTeX RDF	CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
22	Xiaotao Guo, Tian-Ge Zhuang	A Region-Based Lossless Watermarking Scheme for Enhancing Security of Medical Data.	J. Digit. Imaging	2009	DBLP DOI BibTeX RDF	security, integrity, Watermarking, confidentiality, telemedicine, PACS, ROI, image authentication
22	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
22	Indradeep Ghosh, Mukul R. Prasad	A Technique for Estimating the Difficulty of a Formal Verification Problem.	ISQED	2006	DBLP DOI BibTeX RDF
22	Aaron R. Bradley, Zohar Manna	Termination and Invariance Analysis of Loops.	ATVA	2005	DBLP DOI BibTeX RDF
22	Sayan Mitra, Daniel Liberzon, Nancy A. Lynch	Verifying average dwell time of hybrid systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	optimization-based verification, Hybrid systems, simulation relation
22	Sayan Mitra, K. Mani Chandy	A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.	TPHOLs	2008	DBLP DOI BibTeX RDF
22	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
22	Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini	Verifying Atomicity Requirements of Services Coordination Using B.	ENC	2008	DBLP DOI BibTeX RDF
22	Li Bao, Weishi Zhang, Xiuguo Zhang	Describing and Verifying Web Service by CCS on a Case Study.	ICNSC	2008	DBLP DOI BibTeX RDF
22	Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav	Comparison Under Abstraction for Verifying Linearizability.	CAV	2007	DBLP DOI BibTeX RDF
22	Emmanuel M. Tadjouddine	Complexity of Verifying Game Equilibria.	CEEMAS	2007	DBLP DOI BibTeX RDF
22	Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide	Abstracting Pointers for a Verifying Compiler.	SEW	2007	DBLP DOI BibTeX RDF
22	Francois Carcenac, Frédéric Boniol	A formal framework for verifying distributed embedded systems based on abstraction methods.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, Abstraction, Timed automata, Distributed embedded systems, Compositional verification
22	Zhiwei Chen, Jian Wu 0001, ShuiGuang Deng, Ying Li 0001, Zhaohui Wu 0001	Describing and Verifying Web Service Using Type Theory.	CSCWD	2006	DBLP DOI BibTeX RDF
22	Qingfeng Chen, Chengqi Zhang, Shichao Zhang 0001	ENDL: A Logical Framework for Verifying Secure Transaction Protocols.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Secure transaction protocol, Security, Verification, Integrity, Electronic commerce, Confidentiality
22	Jason F. Cantin, Mikko H. Lipasti, James E. Smith 0001	The Complexity of Verifying Memory Coherence and Consistency.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	design styles, nonnumerical algorithms and problems, sequencing and scheduling, fault-tolerance, reliability, testing, shared memory, Hardware, theory of computation, error-checking, memory structures
22	Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata 0001	Verifying Design with Proof Scores.	VSTTE	2005	DBLP DOI BibTeX RDF
22	Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash	Verifying Large Numbers of Cooperating Adaptive Agents.	ICPADS (1)	2005	DBLP DOI BibTeX RDF	spacecraft, Verification, formal methods, autonomy, swarms, emergent behavior
22	Anthony C. J. Fox	An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.	CALCO	2005	DBLP DOI BibTeX RDF
22	Chaiyasit Manovit, Sudheendra Hangal	Efficient algorithms for verifying memory consistency.	SPAA	2005	DBLP DOI BibTeX RDF	multiprocessor verification, total store order, sequential consistency, memory consistency models, vector clocks
22	Yao-Wen Huang, Fang Yu 0001, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo	Verifying Web Applications Using Bounded Model Checking.	DSN	2004	DBLP DOI BibTeX RDF
22	C. A. R. Hoare	Towards the Verifying Compiler.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
22	Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau	Verifying linear time temporal logic properties of concurrent Ada programs with quasar.	SIGAda	2003	DBLP DOI BibTeX RDF	petri nets, concurrency, temporal logic, software verification
22	Steve McKeever, Wayne Luk, Arran Derbyshire	Towards Verifying Parametrised Hardware Libraries with Relative Placement Information.	HICSS	2003	DBLP DOI BibTeX RDF
22	C. A. R. Hoare	Towards the Verifying Compiler.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
22	Harry C. Li, Shriram Krishnamurthi, Kathi Fisler	Verifying cross-cutting features as open systems.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	feature-oriented design, model checking, software architecture, aspect-oriented programming, feature interaction, compositional reasoning, computer-aided verification
22	Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae	Tailoring and Verifying Software Process.	APSEC	2001	DBLP DOI BibTeX RDF	Standard Software Process, Process Verification, Process Tailoring
22	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Verifying Universal Properties of Parameterized Networks.	FTRTFT	2000	DBLP DOI BibTeX RDF
22	Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet	Verifying a Self-Timed Divider.	ASYNC	1998	DBLP DOI BibTeX RDF	model checking, refinement, asynchronous, hardware verification, timing verification, self-timed, speed-independence
22	Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk	Formally Verifying Data and Control with Weak Reachability Invariants.	FMCAD	1998	DBLP DOI BibTeX RDF
22	Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen	On Verifying the Correctness of Retimed Circuits.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF	3-valued equivalence, delay-compensation, sequential ATPG, formal verification, retiming, equivalence-Checking
22	Mark D. Aagaard, Miriam Leeser	Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	weak division, theorem proving, logic synthesis, Software verification, hardware verification
22	Ching-Hua Chow, Simon S. Lam	PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	communication protocols verification, PROSPEC, interactive programming environment, fair reachability analysis, multiphase construction, protocol projection, BSC, X.21, X.25, Telnet document transfer protocols, protocols, specification, software tools, programming environments, graphical interface, interactive programming
22	Ioana Boureanu	Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0.	SMC	2023	DBLP DOI BibTeX RDF
22	Tobias Reinhard, Bart Jacobs 0002	Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting.	CAV (2)	2021	DBLP DOI BibTeX RDF
22	Tim Kersten	A case study for the use of verifying BLAS in na LAPACK like verifying driver-routine for the solution of linear systems.	RITA	1996	DBLP BibTeX RDF
22	Jerry R. Burch	Verifying Liveness Properties by Verifying Safety Properties.	CAV (DIMACS/AMS volume)	1990	DBLP DOI BibTeX RDF
17	Florian Eibensteiner, Rainer Findenig, Markus Pfaff	SynPSL: Behavioral Synthesis of PSL Assertions.	EUROCAST	2009	DBLP DOI BibTeX RDF	Synthesis, PSL, Assertion-based Verification
17	Artur Boronat, Reiko Heckel, José Meseguer 0001	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
17	Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean	Applying Formal Methods to a Certifiably Secure Software System.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	security, verification, Formal methods, Specification, Software, tools, software verification, security kernels
17	Amir Pnueli	Using Abstraction to Verify Arbitrary Temporal Properties.	APSEC	2008	DBLP DOI BibTeX RDF
17	Philippe Golle, Richard Chow, Jessica Staddon	Testable commitments.	StorageSS	2008	DBLP DOI BibTeX RDF	litigation, responsive content, privacy, discovery, commitment scheme
17	Amos Korman, Shay Kutten	On Distributed Verification.	ICDCN	2006	DBLP DOI BibTeX RDF
17	Thomas Wies, Viktor Kuncak, Patrick Lam 0001, Andreas Podelski, Martin C. Rinard	Field Constraint Analysis.	VMCAI	2006	DBLP DOI BibTeX RDF
17	Myla Archer	Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges.	VSTTE	2005	DBLP DOI BibTeX RDF
17	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Using Language Inference to Verify Omega-Regular Properties.	TACAS	2005	DBLP DOI BibTeX RDF
17	Shuvendu K. Lahiri, Randal E. Bryant	Indexed Predicate Discovery for Unbounded System Verification.	CAV	2004	DBLP DOI BibTeX RDF
17	Abhik Roychoudhury, C. R. Ramakrishnan 0001	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
17	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
17	Kevin Melocco, Hina Arora, Paul Setlak, Gary Kunselman, Shazia Mardhani	A Comprehensive Approach to Assessing and Analyzing 1149.1 Test Logic.	ITC	2003	DBLP DOI BibTeX RDF
17	Cindy Eisner, Doron A. Peled	Comparing Symbolic and Explicit Model Checking of a Software System.	SPIN	2002	DBLP DOI BibTeX RDF
17	Randal E. Bryant, Steven M. German, Miroslav N. Velev	Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	processor verfication, decision procedures, uninterpreted functions
17	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Realizability and Verification of MSC Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
17	Fumitaka Hoshino, Masayuki Abe, Tetsutaro Kobayashi	Lenient/Strict Batch Verification in Several Groups.	ISC	2001	DBLP DOI BibTeX RDF
17	Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John	Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking.	VLSI Design	1999	DBLP DOI BibTeX RDF
17	Heikki Saastamoinen, George M. White	On handling exceptions.	COOCS	1995	DBLP DOI BibTeX RDF
17	Filip Van Aelten, Jonathan Allen, Srinivas Devadas	Verification of relations between synchronous machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
17	Abhijit Ghosh, Srinivas Devadas, A. Richard Newton	Verification of Interacting Sequential Circuits.	DAC	1990	DBLP DOI BibTeX RDF
17	Mark Bickford, Mandayam K. Srivas	Verification of a Pipelined Microprocessor Using Clio.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
17	Leon G. Stucki	Validation and verification vs. The software life cycle(Position Statement).	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF
16	Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas	Verifying Real-Time Systems against Scenario-Based Requirements.	FM	2009	DBLP DOI BibTeX RDF
16	Oliver Sharma, Jonathan Lewis, Alice Miller 0001, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
16	Tzilla Elrad	Aspect Oriented Approach for Capturing and Verifying Distributed Properties.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
16	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran	ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.	LPNMR	2009	DBLP DOI BibTeX RDF
16	Elena Planas, Jordi Cabot, Cristina Gómez 0001	Verifying Action Semantics Specifications in UML Behavioral Models.	CAiSE	2009	DBLP DOI BibTeX RDF
16	Miguel Alexandre Ferreira, José Nuno Oliveira	An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.	SBMF	2009	DBLP DOI BibTeX RDF
16	Xiangxi Li, Yu Zhang, Yuxin Deng	Verifying Anonymous Credential Systems in Applied Pi Calculus.	CANS	2009	DBLP DOI BibTeX RDF
16	Dharmalingam Ganesan, Mikael Lindvall, Christopher Ackermann, David McComas, Maureen Bartholomew	Verifying architectural design rules of the flight software product line.	SPLC	2009	DBLP BibTeX RDF	architectural rules, flight software, implemented architecture, business goals
16	Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner	Verifying the Implementation of an Operating System Scheduler.	TASE	2009	DBLP DOI BibTeX RDF
16	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
16	Phan Cong Vinh, Jonathan P. Bowen	Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Dynamically Programmable Field Array (DPGA), Flowware, Configware, Configware engineering, Embedded systems, Formal methods, Reconfigurable computing, Dynamic reconfiguration
16	Marina Gelastou, Chryssis Georgiou, Anna Philippou	On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.	NCA	2008	DBLP DOI BibTeX RDF	Usability, Formal Methods, Applicability, Process Algebra, Distributed Protocols, I/O Automata
16	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang	Specifying and Verifying Event-Based Fairness Enhanced Systems.	ICFEM	2008	DBLP DOI BibTeX RDF
16	Andreas Schroeder 0001, Philip Mayer	Verifying Interaction Protocol Compliance of Service Orchestrations.	ICSOC	2008	DBLP DOI BibTeX RDF
16	Andreas Abel 0001, Thierry Coquand, Peter Dybjer	Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory.	MPC	2008	DBLP DOI BibTeX RDF
16	Chunxiang Xu, Hanpin Wang, Wanling Qu	Modeling and verifying BPEL using synchronized net.	SAC	2008	DBLP DOI BibTeX RDF	synchronized net, modeling, verification, BPEL, web services composition
16	Gaurav Singh 0006, Sandeep K. Shukla	Verifying Compiler Based Refinement of BluespecTM.	SPIN	2008	DBLP DOI BibTeX RDF	Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker
16	Lijuan Wang, Tao Hu, Frank K. Soong	Template constrained posterior for verifying phone transcriptions.	ICASSP	2008	DBLP DOI BibTeX RDF