Search results for "verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Patrice Godefroid	On the costs and benefits of using partial-order methods for the verification of concurrent systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
24	Eike Best	Partial order verification with PEP.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
24	Jörg Würtz	Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	1994	DBLP BibTeX RDF
24	Mark Bickford, Mandayam K. Srivas	Verification of a Pipelined Microprocessor Using Clio.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
24	Han Zuidweg	Verification by Abstraction and Bisimulation.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
24	Ze'ev Shtadler, Orna Grumberg	Network Grammars, Communication Behaviors and Automatic Verification.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
24	Florence Maraninchi	Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
24	Olivier Coudert, Christian Berthet, Jean Christophe Madre	Verification of Synchronous Sequential Machines Based on Symbolic Execution.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
24	Donal Roantree, Maurice Clint	A Specification-Verification Framework for Distributed Applications Software.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	David Freestone	Specification and Verification in Communications Standards.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Parosh Aziz Abdulla, Stefan Arnborg	An Equivalence Decision Problem in Systolic Array Verification.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Peter Dybjer, Herbert P. Sander	A Functional Programming Approach to the Specification and Verification of Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Jeffrey J. Joyce	Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
24	Bernd Walter	Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani	A Calculus for Protocol Specification and Validation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Richard J. Linn Jr., J. Stephen Nightingale	Some Experience with Testing Tools for OSI Protocol Implementations.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	S. Aggarwal, Robert P. Kurshan	Modelling Elapsed Time in Protocol Specification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Yechiam Yemini, Nihal Nounou	CUPID: A Protocol Development Environment.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	F. Mark Restorick	Implementation of a Protocol in an Assembly Language.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Luigi Logrippo	"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Omar Rafiq, Jean-Pierre Ansart	VADILOC - A Protocol Validator and Its Applications.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Richard J. Linn Jr., W. H. McCoy	Producing Tests for Implementations of OSI Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	S. Aggarwal, Robert P. Kurshan, D. Sharma	A Language for the Specification and Analysis of Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen	Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	George A. Harvey	The Routing Certification System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt	Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	D. Rayner	Towards an Objective Understanding of Conformance.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Hasan Ural, Robert L. Probert	User-Guided Test Sequence Generation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Hans Eckert, Rainer Prinoth	A Computation-System Based Method for Automated Proving of Protocols Against Services.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Jean-Francois Billiard	Methodology and Tools for Qualitative Protocols Validation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Günter Karjoth	A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Guy Juanole, B. Algayres	Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Jean-Michel Ayache, Jean-Pierre Courtiat	LC/1, A Specification and Implementation Language for Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Jean-Pierre Ansart, V. Chari, D. Simon	From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Stanislaw Budkowski, Elie Najm	Structured Finite State Automata - A new approach for modelling distributed communications systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Gerard J. Holzmann, Rob A. Beukers	The Pandora Protocol Development System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Alan E. Baratz, Adrian Segall	A Reliable Link Initialization Procedure.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Harry Rudin	From Formal Protocol Specification Towards Automated Performance Prediction.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Jonathan Billington	Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Robert E. Strom, Shaula Yemini	Design, Implementation, and Validation of Secure Communications Systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Alfred Gießler	Testing and Diagnosis Aids for Higher Level Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Gerard Florin, Stéphane Natkin, A. Woog, J. Attal	Quantitative Validation for Industrial Ethernet Local Networks.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Mohamed G. Gouda	An Example for Constructing Communicating Machines by Step-Wise Refinement.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	G. W. Cowin, R. W. S. Hale, D. Rayner	Protocol Product Testing - Some Comparisons and Lessons.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Sergio Palazzo, P. Fogliata, Gesualdo Le Moli	A Layer-Independent Architecture for a Testing System of Protocol Implementations.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Rune Gustavsson, Björn Pehrson	The Power of some Formal Models of Distributed Computing.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Robin M. S. Cork	The Testing of Protocols in SNA Products - An Overview.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Miguel Menasche, Bernard Berthomieu	Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Robert L. Probert, Hasan Ural	Requirements for a Test Specification Language for Protocol Implementation Testing.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Thomas P. Blumer, Deepinder P. Sidhu	Experience with an Automated Protocol Development System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso	Design of a Transport Layer Protocol for a Special Purpose LAN.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
24	Björn Pehrson	Abstraction by Structural Reduction.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
23	Wonhong Nam, P. Madhusudan, Rajeev Alur	Automatic symbolic compositional verification by learning assumptions.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning
23	Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang	Modeling, verification, and implementation of PLC program using timed-MPSG.	SCSC	2007	DBLP BibTeX RDF	modeling and verification (M&V), symbolic model verification (SMV), timed-MPSG (message based part state graph), programmable logic controller (PLC)
23	Reiner Dojen, Tom Coffey	The concept of layered proving trees and its application to the automation of security protocol verification.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	automated protocol verification, logic-based verification of security protocols, cryptography, Security protocols, cryptographic protocols
23	Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham	A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	efficient memory models, embedded memory verification, custom circuit verification, equivalence checking, symbolic trajectory evaluation
23	Yu Huang 0005, Wu-Tung Cheng	Using embedded infrastructure IP for SOC post-silicon verification.	DAC	2003	DBLP DOI BibTeX RDF	FPGA core, infrastructure IP (I-IP), post-silicon verification, transaction-based verification
23	Dipankar Sarkar 0001	Register Transfer Operation Analysis during Data Path Verification.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	Sequential Circuit Verification, Control Part - Data Path, Data Path Verification, RTL Behaviours
23	Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma	The 'Cash-Point' Service: A Verification Case Study Using STeP.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Verification diagrams, Model checking, Verification, STeP
23	Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini	Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.	RTCSA	2000	DBLP DOI BibTeX RDF	IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification
23	Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay	Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	architecture specification language, software architecture, formal verification, Knowledge-based system, knowledge acquisition, architecture style, compositional verification
23	Christoph Kern, Mark R. Greenstreet	Formal verification in hardware design: a survey.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF	language containment, model checking, formal methods, formal verification, case studies, theorem proving, survey, hardware verification
23	James K. Huggins, David Van Campenhout	Specification and verification of pipelining in the ARM2 RISC microprocessor.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	ARM processor, formal verification, pipelining, abstract state machines, design verification, pipelined processors
23	Dominik Stoffel, Wolfgang Kunz	Record & play: a structural fixed point iteration for sequential circuit verification.	ICCAD	1997	DBLP DOI BibTeX RDF	circuit resynthesis, circuit retiming, combinational verification techniques, instruction queue, iterative circuit array, local circuit transformation, sequential circuit verification, sequential logic equivalence checking, structural fixed point iteration, time frame equivalence, logic testing, finite state machine, logic design
23	Yuntao Cui, John (Juyang) Weng	Hand segmentation using learning-based prediction and verification for hand sign recognition.	CVPR	1996	DBLP DOI BibTeX RDF	learning-based prediction, learning-based verification, prediction-and-verification segmentation scheme, false rejection rate, correct segmentation rate, user interfaces, computer vision, image segmentation, motion estimation, intensity images, hand segmentation
23	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
23	Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke	Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	verification systems, fault tolerance, formal specification, formal methods, theorem proving, clock synchronization, PVS, Byzantine agreement, hardware verification, flight control
23	Miriam Leeser, John W. O'Leary	Verification of a subtractive radix-2 square root algorithm and implementation.	ICCD	1995	DBLP DOI BibTeX RDF	subtractive radix-2 square root, floating point square root hardware, Intel Pentium, radix-2 square root, MIPS R4400, RTL level, verification, formal verification, theorem proving, theorem proving, floating point arithmetic, optimizing transformations
23	Seong Hoon Kim, Myoung Soo Park, Jaihie Kim	Applying personalized weights to a feature set for on-line signature verification.	ICDAR	1995	DBLP DOI BibTeX RDF	personalized weights, pen-speed, pen-pressure, optimal verification, combinatorial efforts, handwriting recognition, on-line signature verification
23	Orna Grumberg, David E. Long	Model Checking and Modular Verification.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification
23	Richard Gerber 0001, Insup Lee 0001	A Layered Approach to Automating the Verification of Real-Time Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach
23	Tony T. Lee, Ming-Yee Lai	A Relational Algebraic Approach to Protocol Verification.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES
23	Raúl Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
23	Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova	On the correctness of upper layers of automotive systems.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Time-triggered systems, Formal verification, Model-based development, Automotive software
23	Walid Ibrahim	A Novel EDA Tool for VLSI Test Vectors Management.	J. Electron. Test.	2007	DBLP DOI BibTeX RDF	Test vectors selection, Genetic algorithms, Verification, VLSI, EDA tools
23	Ping Hang Cheung, Alessandro Forin	A C-Language Binding for PSL.	ICESS	2007	DBLP DOI BibTeX RDF	C, Assertion Based Verification, Property Specification Language
23	Byungkwan Park, Daesung Moon, Yongwha Chung, Jin-Won Park	Capacity Planning for Scalable Fingerprint Authentication.	KES (1)	2006	DBLP DOI BibTeX RDF	Performance Evaluation, Authentication Protocol, Fingerprint Verification
23	Alistair C. Bruce, M. M. Kamal Hashmi, Andrew Nightingale, Steve Beavis, Nizar Romdhane, Christopher K. Lennard	Maintaining consistency between systemC and RTL system designs.	DAC	2006	DBLP DOI BibTeX RDF	SPIRIT, transactor, verification, systemC, RTL, TLM, testbench, VIP
23	John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verifying Time Partitioning in the DEOS Scheduling Kernel.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
23	Gustaf Naeser, Kristina Lundqvist, Lars Asplund	Temporal skeletons for verifying time.	SIGAda	2005	DBLP DOI BibTeX RDF	verification, ada, formal notation
23	Alex Groce, Doron A. Peled, Mihalis Yannakakis	Adaptive Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF	Learning Algorithms, Automatic Verification, Black Box Testing
23	Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor	Bridging pre-silicon verification and post-silicon validation.	DAC	2010	DBLP DOI BibTeX RDF	post-silicon, pre-silicon, verification, validation
23	Alon Gluska, Lior Libis	Shortening the verification cycle with synthesizable abstract models.	DAC	2009	DBLP DOI BibTeX RDF	verification, logic design, abstract modeling
23	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001	Decomposing bytecode verification by abstract interpretation.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Abstract interpretation, bytecode verification
23	Xiang Yin 0001, John C. Knight, Elisabeth A. Nguyen, Westley Weimer	Formal Verification by Reverse Synthesis.	SAFECOMP	2008	DBLP DOI BibTeX RDF	formal methods, Formal verification, software dependability
23		A Novel Text-Independent Speaker Verification System Using Ant Colony Optimization Algorithm.	ICISP	2008	DBLP DOI BibTeX RDF	Feature Selection, Gaussian Mixture Model (GMM), Speaker Verification, Ant Colony Optimization (ACO)
23	Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao	A Verification Method for Temporal Consistency of Service Flow.	COMPSAC	2008	DBLP DOI BibTeX RDF	Verification of WS Flow, Annotated OWL_S, Time Ontology, Model Checking
23	Xingming Zhang 0001, Dian Liu, Jianfu Chen	An Illumination Independent Face Verification Based on Gabor Wavelet and Supported Vector Machine.	ICIC (3)	2008	DBLP DOI BibTeX RDF	Supported Vector Machine, Illumination, gabor wavelet, Face Verification
23	Jianfu Chen, Xingming Zhang 0001, Jinsheng Li	Face Verification Based on AdaBoost Learning for Histogram of Gabor Phase Patterns (HGPP) Selection and Samples Synthesis with Quotient Image Method.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Gabor Phase, HGPP, Quotient Image, Synthesize Samples, AdaBoost, Illumination invariance, Face Verification
23	Youngsik Kim, Nazanin Mansouri	Automated formal verification of scheduling with speculative code motions.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	formal verification, high level synthesis, automated theorem-proving, speculation
23	Andrea Fedeli, Franco Fummi, Graziano Pravadelli	Properties Incompleteness Evaluation by Functional Verification.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	property coverage, Model checking, fault models, functional verification
23	Andreas Schlapbach, Horst Bunke	A writer identification and verification system using HMM based recognizers.	Pattern Anal. Appl.	2007	DBLP DOI BibTeX RDF	Writer verification, Off-line handwriting, HMM based handwriting recognition, Writer identification
23	Aabhas V. Paliwal, Nabil R. Adam, Christof Bornhövd	Web service orchestration and verification using MSC and CP nets.	SAC	2007	DBLP DOI BibTeX RDF	CP nets, web services, verification, composition, orchestration, MSC
23	Charl Johannes van Heerden, Etienne Barnard	Durations of Context-Dependent Phonemes: A New Feature in Speaker Verification.	Speaker Classification (2)	2007	DBLP DOI BibTeX RDF	triphones, time durations, Hidden Markov Models, Speaker verification
23	Jesus Olivares-Mercado, Gabriel Sanchez-Perez, Mariko Nakano-Miyatake, Héctor M. Pérez Meana	Feature Extraction and Face Verification Using Gabor and Gaussian Mixture Models.	MICAI	2007	DBLP DOI BibTeX RDF	Gaussian Mixture Model, Face verification, Gabor functions
23	Adam D. Todd, Richard A. Raines, Rusty O. Baldwin, Barry E. Mullins, Steven K. Rogers	Alert Verification Evasion Through Server Response Forging.	RAID	2007	DBLP DOI BibTeX RDF	Alert Verification, Network Intrusion Detection, Exploits, Evasion
23	Chandan Karfa, Dipankar Sarkar 0001, Chittaranjan A. Mandal, Chris Reade	Hand-in-hand verification of high-level synthesis.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	FSMD model, formal verification, high-level synthesis, equivalence checking
23	Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa	Tool-Assisted Specification and Verification of Typed Low-Level Languages.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	virtual machine, theorem proving, Java Card, bytecode verification
23	Jan Friso Groote, François Monin, Jan Springintveld	A computer checked algebraic verification of a distributed summation algorithm.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Distributed summation algorithm, Formal proof checking, Verification, Process algebra, PVS, CRL
23	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou	Program Verification by Using DISCOVERER.	VSTTE	2005	DBLP DOI BibTeX RDF	semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation