Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Lars Grunske, Robert Colvin, Kirsten Winter	Probabilistic Model-Checking Support for FMEA.	QEST	2007	DBLP DOI BibTeX RDF	Failure Mode and Effect Analysis, Probabilistic Model Checking, System Safety
21	Jens Knodel, Daniel Popescu 0001	A Comparison of Static Architecture Compliance Checking Approaches.	WICSA	2007	DBLP DOI BibTeX RDF	access rules, architecture compliance checking, conformance rules, SAVE, software architecture, static analysis, architecture evaluation
21	André Platzer, Edmund M. Clarke	The Image Computation Problem in Hybrid Systems Model Checking.	HSCC	2007	DBLP DOI BibTeX RDF	model checking, hybrid systems, image computation
21	Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama	Policy Verification and Validation Framework Based on Model Checking Approach.	ICAC	2007	DBLP DOI BibTeX RDF	policy verification and validation, on-demand data center, model checking, resource management, autonomic system, policy-based management
21	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro	Model Checking Temporal Metric Specifications with Trio2Promela.	FSEN	2007	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin
21	Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang	Implication-Based Approximating Bounded Model Checking.	FSEN	2007	DBLP DOI BibTeX RDF	Approximation, Abstraction, Bounded Model Checking, Implication
21	Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden	Efficient Model Checking of Applications with Input/Output.	EUROCAST	2007	DBLP DOI BibTeX RDF	software testing, Software model checking, network communication
21	Farn Wang	Symbolic Simulation-Checking of Dense-Time Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	simulation, model-checking, verification, real-time, refinement, implementation, embedded, events, timed automata, bisimulation, equivalence, bisimilarity, dense-time
21	Xi Bai 0002, Jigui Sun, Zehai Li, Xianrui Lu	Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer.	RR	2007	DBLP DOI BibTeX RDF	hierarchical clustering, consistency checking, Ontology learning, ontology reasoning
21	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng	Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	model checking, formal method, timed automaton
21	Alexander Bell, Boudewijn R. Haverkort	Distributed disk-based algorithms for model checking very large Markov chains.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Disk-based algorithms, CSL model checking, Distributed algorithms, Markov chains, State-space generation, Matrix-vector product
21	Cornelia P. Inggs, Howard Barringer	CTL* model checking on a shared-memory architecture.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Model checking, Parallel processing, Multiprocessors, Shared memory, Automata
21	Hana Chockler, Orna Kupferman, Moshe Y. Vardi	Coverage metrics for temporal logic model checking*.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Algorithms, Model checking, Formal verification, Coverage metrics
21	Jiri Barnat, Ivana Cerná	Distributed breadth-first search LTL model checking.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	LTL model checking, Distributed memory, Breadth-first search
21	Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook	Data structures for symbolic multi-valued model-checking.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Symbolic model-checking, Decision diagrams, Multi-valued logic
21	Jeremy Sproston, Susanna Donatelli	Backward Bisimulation in Markov Chain Model Checking.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, Markov processes
21	Hasan Ural, Craig Williams	Constructing checking sequences for distributed testing.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence
21	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu	Type Checking Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal model, Choreography, Type checking, WS-CDL
21	Xiangpeng Zhao, Quan Long, Zongyan Qiu	Model Checking Dynamic UML Consistency.	ICFEM	2006	DBLP DOI BibTeX RDF	Simulation, Algorithm, Model Checking, UML, Semantics, Consistency
21	Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi	Security and Privacy Analysis of RFID Systems Using Model Checking.	HPCC	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
21	Zining Cao	Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	knowledge logic, model checking, cooperation, Real-time temporal logic
21	Roshan G. Ragel, Sri Parameswaran	Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	embedded processor reliability, hardware/software technique, micro-instruction routines, preemptive fault detection, reliable processors, control flow checking
21	Hiroshi Unno 0001, Naoki Kobayashi 0001, Akinori Yonezawa	Combining type-based analysis and model checking for finding counterexamples against non-interference.	PLAS	2006	DBLP DOI BibTeX RDF	model checking, type system, non-interference
21	Alexander Knapp, Jochen Wuttke	Model Checking of UML 2.0 Interactions.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	UML 2.0 interactions, model checking, Scenarios
21	Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli	Composition of Use Cases Using Synchronization and Model Checking.	FORTE	2006	DBLP DOI BibTeX RDF	synchronized product, model checking, Use cases, composition operators
21	Nardine Osman 0001, David Robertson 0001, Christopher Walton	Run-time model checking of interaction and deontic models for multi-agent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	deontic models, dynamic model checking, interaction models
21	Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Mark Reynolds 0001	Verification of Multi-agent Systems Via Bounded Model Checking.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking
21	Corina S. Pasareanu, Dimitra Giannakopoulou	Towards a Compositional SPIN.	SPIN	2006	DBLP DOI BibTeX RDF	model checking, learning, Assume-guarantee reasoning
21	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
21	Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny	SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.	MoChArt	2006	DBLP DOI BibTeX RDF	model checking, authentication, security protocols
21	Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen	Deviation Analysis: A New Use of Model Checking.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	model checking, robustness, deviation analysis
21	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	under-approximation, symbolic model checking, hints, symmetry reduction
21	Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani	Checking Timed Büchi Automata Emptiness Efficiently.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	on-the fly verification, timed automata, symbolic model-checking, verification tools
21	Lubos Brim, Karen Yorav, Jitka Zidkova	Assumption-based distribution of CTL model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Many-valuated logics, Model checking, Distributed algorithms, Branching time logics
21	Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero	A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	scenario-based verification, model checking, formal methods, Requirements/specifications
21	Rongjie Yan, Guangyuan Li, Zhisong Tang	Symbolic Model Checking of Finite Precision Timed Automata.	ICTAC	2005	DBLP DOI BibTeX RDF	Finite precision timed automata, model checking, symbolic methods
21	Yasser Kotb, Takuya Katayama	Consistency checking of UML model diagrams using the XML semantics approach.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	XML, model checking, UML, attribute grammars, XMI
21	Alastair F. Donaldson, Alice Miller 0001	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
21	Ana Fernández Vilas, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer	Multi-valued Model Checking in Dense-Time.	ECSQARU	2005	DBLP DOI BibTeX RDF	dense real-time, model checking, formal methods, multi-valued logic
21	Graeme Smith 0001, Luke Wildman	Model Checking Z Specifications Using SAL.	ZB	2005	DBLP DOI BibTeX RDF	model checking, tool support, Z, SAL
21	Jun Hu, Xiaofeng Yu, Yan Zhang 0007, Tian Zhang 0001, Xuandong Li, Guoliang Zheng	Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.	EUC	2005	DBLP DOI BibTeX RDF	embedded software designs, real-time systems, model checking, UML sequence diagrams, interface automata
21	Eugene Goldberg	On equivalence checking and logic synthesis of circuits with a common specification.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	common specification, scalable equivalence checking, scalable logic synthesis, toggle equivalence
21	Christoph Csallner, Yannis Smaragdakis	Check 'n' crash: combining static checking and testing.	ICSE	2005	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking
21	Marc Geilen, Twan Basten, Sander Stuijk	Minimising buffer requirements of synchronous dataflow graphs with model checking.	DAC	2005	DBLP DOI BibTeX RDF	optimization, model-checking, buffering, synchronous dataflow
21	Bozena Wozna, Alessio Lomuscio, Wojciech Penczek	Bounded model checking for knowledge and real time.	AAMAS	2005	DBLP DOI BibTeX RDF	model checking, real time, epistemic logic, interpreted systems
21	Philippa J. Hopcroft, Gavin Lowe	Analysing a stream authentication protocol using model checking.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Stream authentication protocols, Model checking, Automatic verification, Data independence
21	Yasser Kotb, Katsuhiko Gondow, Takuya Katayama	Optimizing the Execution Time for Checking the Consistency of XML Documents.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	copy rules, semantics checking, attribute grammars, XML technologies
21	Massimo Franceschet, Angelo Montanari, Maarten de Rijke	Model Checking for Combined Logics with an Application to Mobile Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	model checking, temporal logic, mobile systems, combined logics
21	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Tabled resolution, Model checking, Logic programming, calculus, Mobile processes
21	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001	aSPIN: A tool for abstract model checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Temporal logic, Abstraction, Spin
21	Farn Wang	Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.	AMAST	2004	DBLP DOI BibTeX RDF	model-checking, verification, real-time, Distributed, fairness, events
21	Zhengping Liang, Guoqing Wu	Consistency Checking of Multiviews Based on Agent.	CIT	2004	DBLP DOI BibTeX RDF	viewpoint agent, agent, Viewpoint, consistency checking
21	Shin Nakajima 0001	Model-Checking of Safety and Security Aspects in Web Service Flows.	ICWE	2004	DBLP DOI BibTeX RDF	Web Service Flow, Lattice-based Security Label, Model-Checking, Information Flow
21	Berndt Farwer, Michael Leuschel	Model checking object petri nets in prolog.	PPDP	2004	DBLP DOI BibTeX RDF	model checking, compilation, animation, prolog, object petri nets
21	Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila	Simple Bounded LTL Model Checking.	FMCAD	2004	DBLP DOI BibTeX RDF	linear translation, bounded model checking, LTL, NuSMV
21	Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski	Efficient equivalence checking with partitions and hierarchical cut-points.	DAC	2004	DBLP DOI BibTeX RDF	verification, logic design, equivalence checking
21	Jeremy W. Bryans, Howard Bowman, John Derrick	Model checking stochastic automata.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Distributed systems, model checking, stochastic automata
21	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
21	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
21	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu 0004, Helmut Veith	Counterexample-guided abstraction refinement for symbolic model checking.	J. ACM	2003	DBLP DOI BibTeX RDF	temporal logic, Abstraction, symbolic model checking, hardware verification
21	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston	Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, IEEE standard, FireWire
21	Ákos Schmidt, Dániel Varró	CheckVML: A Tool for Model Checking Visual Modeling Languages.	UML	2003	DBLP DOI BibTeX RDF	model checking, formal verification, metamodeling, graph transformation, visual modeling languages
21	Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava	Model Checking Correctness Properties of Electronic Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF	contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract
21	Juan de Lara, Esther Guerra, Hans Vangheluwe	Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.	AGTIVE	2003	DBLP DOI BibTeX RDF	Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting
21	Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani	Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.	FME	2003	DBLP DOI BibTeX RDF	model checking, software development process, Architectural analysis, models consistency
21	Dimitra Giannakopoulou, Jeff Magee	Fluent model checking for event-based systems.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model-checking, linear temporal logic, software architecture analysis
21	Oksana Tkachuk, Matthew B. Dwyer	Adapting side effects analysis for modular program model checking.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	modular flow analysis, model checking, assume-guarantee
21	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
21	Robert M. Hierons, Hasan Ural	Reduced Length Checking Sequences.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Finite state machine, distinguishing sequence, checking sequence, test minimization
21	Cindy Eisner	Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking
21	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.	APSEC	2002	DBLP DOI BibTeX RDF	open components, formal methods, program transformation, abstraction, asynchronous communication, software model checking, flow analysis
21	Kirsten Winter, Roger Duke	Model Checking Object-Z Using ASM.	IFM	2002	DBLP DOI BibTeX RDF	language transformation, automated tool support, model checking, Abstract State Machines, Object-Z
21	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Can BDDs compete with SAT solvers on bounded model checking?	DAC	2002	DBLP DOI BibTeX RDF	model checking, formal verification, SAT, BDDs
21	Simon Jolly, Atanas N. Parashkevov, Tim McDougall	Automated equivalence checking of switch level circuits .	DAC	2002	DBLP DOI BibTeX RDF	MOS circuits, custom design, switch level analysis, formal verification, VLSI design, equivalence checking
21	William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Optimizing Symbolic Model Checking for Statecharts.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
21	Pranav Ashar, Aarti Gupta, Sharad Malik	Using complete-1-distinguishability for FSM equivalence checking.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	Bisimulation relation, complete-1-distinguishability, finite state machine equivalence, sequential logic synthesis, equivalence checking
21	Marco Ottavi, Gian Carlo Cardarilli, D. Cellitti, Salvatore Pontarelli, Marco Re, Adelio Salsano	Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines.	DFT	2001	DBLP DOI BibTeX RDF	SSMM, fault tolerance, finite state machine, VHDL, signature analysis, self checking
21	Natalia Sidorova, Martin Steffen	Verifying Large SDL-Specifications Using Model Checking.	SDL Forum	2001	DBLP DOI BibTeX RDF	SDL model checking, bottom-up verification, verification case study, compositional, abstraction
21	Agostino Dovier, Elisa Quintarelli	Model-Checking Based Data Retrieval.	DBPL	2001	DBLP DOI BibTeX RDF	Semistructured DBs, Model-Checking, Temporal Logic
21	Jeff Jianxin Yan	A note on proactive password checking.	NSPW	2001	DBLP DOI BibTeX RDF	entropy, dictionary attack, proactive password checking
21	Cecilia Metra, Michele Favalli, Bruno Riccò	Self-Checking Detection and Diagnosis of Transient, Delay, and Crosstalk Faults Affecting Bus Lines.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	bus lines, diagnosis, transient faults, On-line testing, delay faults, self-checking, crosstalk faults
21	Willem Visser, Howard Barringer	Practical CTL* Model Checking: Should SPIN be Extended?	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Büchi automata, Hesitant alternating automata, Model checking, Games, Spin
21	Lynette I. Millett, Tim Teitelbaum	Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Model checking, Static analysis, Program slicing, Concurrent languages
21	Nima Kaveh	Using Model Checking to Detect Deadlocks in Distributed Object Systems.	EDO	2000	DBLP DOI BibTeX RDF	Object Middleware, Model Checking, Software Architecture
21	Tevfik Bultan	Action Language: a specification language for model checking reactive systems.	ICSE	2000	DBLP DOI BibTeX RDF	model checking, specification languages, reactive systems
21	Vishwani D. Agrawal	Choice of Tests for Logic Verification and Equivalence Checking.	VLSI Design	2000	DBLP DOI BibTeX RDF	fault simulation, Equivalence checking, Hamming codes, logic verification
21	David Garlan, Serge Khersonsky	Model Checking Implicit-Invocation Systems.	IWSSD	2000	DBLP BibTeX RDF	model checking, publish-subscribe, Implicit invocation
21	Carl Pixley, Vigyan Singhal	Model Checking: A Hardware Design Perspective.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Automated mathematical methods, Model checking, Formal Verification, Binary decision diagrams, Integrated circuits, Hardware verification
21	Henrik Reif Andersen, Jørn Lind-Nielsen	Partial Model Checking of Modal Equations: A Survey.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Modal ?-calculus, Model checking, Verification, State explosion
21	Tevfik Bultan, Richard Gerber 0001, William W. Pugh	Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	abstract interpretation, symbolic model checking, Presburger arithmetic
21	Paula Prata, João Gabriel Silva	Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations.	FTCS	1999	DBLP DOI BibTeX RDF	ABFT, Error Detection, Fault injection, Result-checking, Matrix operations
21	Shiyong Lu, Scott A. Smolka	Model Checking the Secure Electronic Transaction (SET) Protocol.	MASCOTS	1999	DBLP DOI BibTeX RDF	Electronic Commerce Protocols, Formal Modeling and Analysis Techniques, Model Checking
21	João Marques-Silva 0001, Thomas Glass	Combinational Equivalence Checking Using Satisfiability and Recursive Learning.	DATE	1999	DBLP DOI BibTeX RDF	Boolean Satisfiability, Recursive Learning, Combinational Equivalence Checking
21	Edmund M. Clarke, Somesh Jha, Yuan Lu 0004, Dong Wang	Abstract BDDs: A Technique for Using Abstraction in Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF	Abstract BDDs, Model checking and abstraction
21	Francesco Bergadano, Bruno Crispo, Giancarlo Ruffo	High Dictionary Compression for Proactive Password Checking.	ACM Trans. Inf. Syst. Secur.	1998	DBLP DOI BibTeX RDF	password selection, access control, decision trees, proactive password checking
21	Vladimír Székely, Márta Rencz, Jean-Michel Karam, Marcelo Lubaszewski, Bernard Courtois	Thermal Monitoring of Self-Checking Systems.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	self-checking circuits, thermal testing, temperature sensors, thermal sensors
21	Lutz Prechelt, Walter F. Tichy	A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	quality, productivity, controlled experiment, defects, Type checking
21	Daniel Jackson 0001, Somesh Jha, Craig Damon	Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	model finding, relational specifications, model checking, formal specification, symmetry, object models, pruning, relational calculus
21	Jie Gong, Chih-Tung Chen, Kayhan Küçükçakar	Architectural Rule Checking for High-level Synthesis.	DATE	1998	DBLP DOI BibTeX RDF	Rule Checking, Verification, High-level Synthesis
21	Donatella Sciuto, Cristina Silvano, Renato Stefanelli	Systematic AUED Codes for Self-Checking Architectures.	DFT	1998	DBLP DOI BibTeX RDF	AUED Codes, Self-Checking Combinational Circuits, Stuck-at Faults, Unidirectional Errors