Search results for "checker"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Joonhyuk Yoo, Manoj Franklin	The Filter Checker: An Active Verification Management Approach.	DFT	2006	DBLP DOI BibTeX RDF
72	Joonhyuk Yoo, Manoj Franklin	Hierarchical Verification for Increasing Performance in Reliable Processors.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Active verification management, Filter checker, Correctness non-critically, Fault tolerance, Performance, Hierarchical verification
63	Steven W. Burns, Niraj K. Jha	A Totally Self-Checking Checker for a Parallel Unordered Coding Scheme.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	parallel unordered coding scheme, parallel encoding/decoding, information symbols, checkbits, TSC checker, parallel algorithms, built-in self test, logic design, error detection codes, error-detecting codes, concurrent error detection, transient faults, unidirectional errors, totally self-checking checker, unordered codes, self-checking checker
59	Stanislaw J. Piestrak	Comments on 'Novel Totally Self-Checking Berger Checker Designs Based on Generalized Berger Code Partitioning'.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	TSC Berger code checker, Berger code, totally self-checking circuit, self-testing checker, two-rail code
56	Miklós Ajtai	The invasiveness of off-line memory checking.	STOC	2002	DBLP DOI BibTeX RDF
56	Marcelo Lubaszewski, Salvador Mir, Vladimir Kolarik, C. Nielsen, Bernard Courtois	Design of self-checking fully differential circuits and boards.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
55	Axel Dold, Vincent Vialard	Formal Verification of a Compiler Back-End Generic Checker Program.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	checker-based program verification, generic specification, formal verification
51	Martin Omaña 0001, Daniele Rossi 0001, Cecilia Metra	Low Cost and High Speed Embedded Two-Rail Code Checker.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Self-checking circuits, checkers, error indicators, two-rail code
51	Zhe Dang, Richard A. Kemmerer	A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications.	RTCSA	1999	DBLP DOI BibTeX RDF
51	R. Suriya, K. Saravanan, Arunkumar Thangavelu	An integrated approach to detect phishing mail attacks: a case study.	SIN	2009	DBLP DOI BibTeX RDF	code script checker, domain name checker, linkguard, phishing
51	Dimitris Nikolos	Self-Testing Embedded Two-Rail Checkers.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	parity tree, embedded self-testing, self testing, two-rail checker, parity checker
49	Young-Joo Kim, Daeyoung Kim 0001, Yong-Kee Jun	An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Thread Checker, Parallel section programs, Parallel loop programs, Verification, OpenMP, Race
47	J. Q. Wang, Parag K. Lala	Partially Strongly Fault Secure and Partially Strongly Code Disjoint I-out-of-3 Code Checker.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	strongly code disjoint, strongly fault secure, code checker, fault tolerance, logic testing, logic design, time delay, combinatorial circuits, circuit reliability, fault secure, self-checking checker
47	T. R. N. Rao, Gui Liang Feng, Mahadev S. Kolluru, Jien-Chung Lo	Novel Totally Self-Checking Berger Code Checker Designs Based on Generalized Berger Code Partitioning.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	totally self-checking Berger code checker designs, generalized Berger code partitioning, m-out-of-n checker, error correction codes, error detection codes
47	Eiji Fujiwara, Nobuo Mutoh, Kohji Matsuoka	A Self-Testing Group-Parity Prediction Checker and Its Use for Built-In Testing.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	self-verification, error-detection ability, group-parity prediction checker, self-testing, Built-in testing, duplication, self-checking checker, fault-detection ability
45	Zhensong Liao, Hai Jin 0001	A RT0-Based Compliance Checker Model for Automated Trust Negotiation.	PAISI	2007	DBLP DOI BibTeX RDF
45	Martin Omaña 0001, Daniele Rossi 0001, Cecilia Metra	High Speed and Highly Testable Parallel Two-Rail Code Checker.	DATE	2003	DBLP DOI BibTeX RDF
45	Cecilia Metra, Michele Favalli, Bruno Riccò	Highly testable and compact single output comparator.	VTS	1997	DBLP DOI BibTeX RDF	comparators (circuits), single output comparator, self-checking n-input comparator, n-variable two-rail checker, equality checker, strongly code-disjoint, input code words, embedded comparators, VLSI, fault detection, totally-self-checking
43	Christopher T. Weaver, Todd M. Austin	A Fault Tolerant Approach to Microprocessor Design.	DSN	2001	DBLP DOI BibTeX RDF
43	Adam J. Lee, Marianne Winslett	Towards an efficient and language-agnostic compliance checker for trust negotiation systems.	AsiaCCS	2008	DBLP DOI BibTeX RDF	compliance checker, satisfying sets, policy, trust negotiation
43	Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga	A Trustworthy Proof Checker.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	proof checker, proof-carrying code
43	Michele Favalli, Cecilia Metra	Single Output Distributed Two-Rail Checker with Diagnosing Capabilities for Bus Based Self-Checking Architectures.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	bus based systems, on-line testing, two-rail checker
43	Gosta Pada Biswas, Idranil Sen Gupta	Generalized modular design of testable m-out-of-n code checker.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	testable m-out-of-n code checker, combinational logic port, combinational logic cells, unidirectional faults, complementary outputs, VLSI, fault diagnosis, logic testing, cellular automata, combinational circuits, fault location, stuck-at faults, logic arrays, cellular automaton, modular design, iterative array, initial state
40	Saksham Checker, Nikhil Churamani, Hatice Gunes	Federated Learning of Socially Appropriate Agent Behaviours in Simulated Home Environments.	CoRR	2024	DBLP DOI BibTeX RDF
40	Siavash Khaksar, Luke Checker, Bita Borazjani, Iain Murray 0002	Design and Evaluation of an Alternative Control for a Quad-Rotor Drone Using Hand-Gesture Recognition.	Sensors	2023	DBLP DOI BibTeX RDF
40	Ravish, Rahul Katarya, Deepak Dahiya, Saksham Checker	Fake News Detection System Using Featured-Based Optimized MSVM Classification.	IEEE Access	2022	DBLP DOI BibTeX RDF
40	Glen D. Johnson, Melissa Checker, Scott Larson, Hanish Kodali	A small area index of gentrification, applied to New York City.	Int. J. Geogr. Inf. Sci.	2022	DBLP DOI BibTeX RDF
40	Juhi Checker, Shaunak De, Varsha Turkar, Gulab Singh	Performance Impact of $JP2$ Compression on Semantic Segmentation of PolSAR Images.	IGARSS	2021	DBLP DOI BibTeX RDF
40	A. K. Checker, R. Appavu Raj	Database architecture for data mining to aid real-time range safety decision in a test range.	Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security	2006	DBLP DOI BibTeX RDF
40	Mike Mcfarland, Samer Salam, Ripin Checker	Ethernet OAM: key enabler for carrier class metro ethernet services.	IEEE Commun. Mag.	2005	DBLP DOI BibTeX RDF
39	Benoît Boyer, Thomas Genet, Thomas P. Jensen	Certifying a Tree Automata Completion Checker.	IJCAR	2008	DBLP DOI BibTeX RDF
39	Gordon Fraser 0001, Franz Wotawa	Using LTL rewriting to improve the performance of model-checker based test-case generation.	A-MOST	2007	DBLP DOI BibTeX RDF	LTL rewriting, test-case generation with model-checkers, automated software testing
39	Haralampos-G. D. Stratigopoulos, Yiorgos Makris	An Analog Checker with Input-Relative Tolerance for Duplicate Signals.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	analog checkers, on-line test, analog test, concurrent test
39	Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan	The Maude LTL Model Checker and Its Implementation.	SPIN	2003	DBLP DOI BibTeX RDF
39	Haralampos-G. D. Stratigopoulos, Yiorgos Makris	An Analog Checker With Input-Relative Tolerance for Duplicate Signals.	IOLTS	2003	DBLP DOI BibTeX RDF
39	Jimson Mathew, Elena Dubrova	Self-Checking 1-out-of-n CMOS Current-Mode Checker.	DFT	2002	DBLP DOI BibTeX RDF
39	Marsha Chechik, Benet Devereux, Steve M. Easterbrook	Implementing a Multi-valued Symbolic Model Checker.	TACAS	2001	DBLP DOI BibTeX RDF
39	Niraj K. Jha	A totally self-checking checker for Borden's code.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
39	Valery A. Vardanian	Exact probabilistic analysis of error detection for parity checkers.	VTS	1997	DBLP DOI BibTeX RDF	circuit under check, multi-output supergate, combinational CUC, restricted observability, restricted detectability, concurrent checker, latency, error detection, combinational circuits, probabilistic analysis, single stuck-at fault, parity checker
37	Matthew Chu, Sampath Kannan, Andrew McGregor 0001	Checking and Spot-Checking the Correctness of Priority Queues.	ICALP	2007	DBLP DOI BibTeX RDF
37	Kartik Mohanram, Nur A. Touba	Lowering power consumption in concurrent checkers via input ordering.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
37	Greg Nelson	Extended Static Checking for Java.	MPC	2004	DBLP DOI BibTeX RDF
37	Gerard J. Holzmann, Rajeev Joshi	Model-Driven Software Verification.	SPIN	2004	DBLP DOI BibTeX RDF
37	Kedar S. Namjoshi	Certifying Model Checkers.	CAV	2001	DBLP DOI BibTeX RDF
37	Michael Nicolaidis	Fault secure property versus strongly code disjoint checkers.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
37	Mi-young Kang, Ae-sun Yoon, Hyuk-Chul Kwon	Improving partial parsing based on error-pattern analysis for a Korean grammar-checker.	ACM Trans. Asian Lang. Inf. Process.	2003	DBLP DOI BibTeX RDF	Korean grammar checker, error-pattern analysis, parsing triggering condition, text preprocessing, language, parsing, linguistic analysis, partial parsing
37	Pietro Iglio	TrustedBox: A Kernel-Level Integrity Checker.	ACSAC	1999	DBLP DOI BibTeX RDF	integrity checker
37	Cecilia Metra, Michele Favalli, Bruno Riccò	Highly Testable and Compact 1-out-of-n Code Checker with Single Output.	DATE	1998	DBLP DOI BibTeX RDF	1-out-of-n code, Self-checking circuit, checker
37	Riccardo Focardi, Roberto Gorrieri, V. Panini	The security checker: a semantics-based tool for the verification of security properties.	CSFW	1995	DBLP DOI BibTeX RDF	security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification
35	Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt	Evaluation of Three Specification-Based Testing Criteria.	ICECCS	2000	DBLP DOI BibTeX RDF	PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker
33	David Hopkins 0002, C.-H. Luke Ong	Homer: A Higher-Order Observational Equivalence Model checkER.	CAV	2009	DBLP DOI BibTeX RDF
33	Shang Ma, Jianhao Hu, Lin Zhang, Xiang Ling 0002	An efficient RNS parity checker for moduli set {2 n - 1, 2 n + 1, 22 n + 1} and its applications.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	number comparison, sign determination, overflow detection, VLSI, RNS, parity check
33	Mayur Naik, Jens Palsberg	A type system equivalent to a model checker.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Model checking, type systems
33	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova	ProbDiVinE: A Parallel Qualitative LTL Model Checker.	QEST	2007	DBLP DOI BibTeX RDF
33	Marc Boule, Zeljko Zilic	Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation.	ASP-DAC	2007	DBLP DOI BibTeX RDF
33	Lars-Åke Fredlund, Hans Svensson	McErlang: a model checker for a distributed functional programming language.	ICFP	2007	DBLP DOI BibTeX RDF
33	Gordon Fraser 0001, Franz Wotawa	Nondeterministic Testing with Linear Model-Checker Counterexamples.	QSIC	2007	DBLP DOI BibTeX RDF
33	Bo Wang, Cornelis Pronk	Design and implementation of a GUI for the TLC model checker.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	GraphViz, TLC, model checking, GUI, temporal logic, SML, TLA+
33	Thuan Quang Huynh, Abhik Roychoudhury	A Memory Model Sensitive Checker for C#.	FM	2006	DBLP DOI BibTeX RDF
33	Pavel Parízek, Frantisek Plásil, Jan Kofron	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.	SEW	2006	DBLP DOI BibTeX RDF	cooperation of model checkers, model checking, software components, behavior protocols
33	Steffen Tarnick	Single- and Double-Output Embedded Checker Architectures for Systematic Unordered Codes.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	systematic unordered codes, embedded checkers, single- and double-output checkers, non-code-disjoint checkers, code translators
33	Kazuhiro Ogata 0001, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker.	APSEC	2005	DBLP DOI BibTeX RDF	lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
33	Mayur Naik, Jens Palsberg	A Type System Equivalent to a Model Checker.	ESOP	2005	DBLP DOI BibTeX RDF
33	Haralampos-G. D. Stratigopoulos, Yiorgos Makris	An Analog Checker with Dynamically Adjustable Error Threshold for Fully Differential Circuits.	VTS	2003	DBLP DOI BibTeX RDF
33	Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia	A Modular Checker for Multithreaded Programs.	CAV	2002	DBLP DOI BibTeX RDF
33	Gafurov Davrondjon, Tomasz Janowski	Developing a Spell-Checker for Tajik Using RAISE.	ICFEM	2002	DBLP DOI BibTeX RDF
33	Javier Esparza, Stefan Schwoon	A BDD-Based Model Checker for Recursive Programs.	CAV	2001	DBLP DOI BibTeX RDF
33	Albrecht P. Stroele, Steffen Tarnick	Embedded Checker Architectures for Cyclic and Low-Cost Arithmetic Codes.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	code checkers, code word accumulators, code word generators, embedded checkers, cyclic arithmetic codes, low-cost arithmetic codes, built-in self-test, on-line test, totally self-checking checkers
33	Victoria J. Hodge, Jim Austin	A Comparison of Standard Spell Checking Algorithms and a Novel Binary Neural Approach.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Binary neural spell checker, integrated modular spell checker, associative matching
33	Dimitris Nikolos	Optimal Self-Testing Embedded Parity Checkers.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Parity tree, embedded self-testing circuits, self-testing, two-rail checker, parity checker
31	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
31	Yunja Choi, Mats Per Erik Heimdahl	Combination Model Checking: Approach and a Case Study.	ASE	2004	DBLP DOI BibTeX RDF
31	Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata	Extended Static Checking for Java.	PLDI	2002	DBLP DOI BibTeX RDF	compile-time program checking
31	Ping Gao, Robert Esser	Polymorphic CSP Type Checking.	ACSC	2001	DBLP DOI BibTeX RDF
31	Todd M. Austin	DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design.	MICRO	1999	DBLP DOI BibTeX RDF
31	Steffen Tarnick	Controllable self-checking checkers for conditional concurrent checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
31	Wen-Feng Chang, Cheng-Wen Wu	Low-Cost Modular Totally Self-Checking Checker Design for m-out-of-n Code.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Fault tolerance, logic testing, on-line testing, totally-self-checking checker, m-out-of-n code
31	Amir A. Khwaja	Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling.	COMPSAC	1997	DBLP DOI BibTeX RDF	design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool
31	Dali L. Tao, Carlos R. P. Hartmann, Parag K. Lala	A General Technique for Designing Totally Self-Checking Checker for 1-out-of-N Code with Minimum Gate Delay.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	1-out-of-N code, minimum gate delay, NOR array, NOR-NOR PLA, fault tolerant computing, logic testing, delays, logic design, translator, error detection codes, logic arrays, totally self-checking checker
31	Antonis M. Paschalis, Costas Efstathiou, Constantine Halatsis	An Efficient TSC 1-out-of-3 Code Checker.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	TSC 1-out-of-3 code checker, combinational totally self-checking, logic testing, logic design, automatic testing, integrated logic circuits
31	James W. Watterson, Jill J. Hallenbeck	Modulo 3 Residue Checker: New Results on Performance and Cost.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	modulo-3 residue code checker, pipelined serial multiplier, concurrent self-test, minimum error latency, multiplier input operands, 4- mu m NMOS, standard cell design, performance evaluation, integrated circuit testing, error detection, automatic testing, digital arithmetic, pipeline processing, multiplying circuits, built in test, field effect integrated circuits, error detection coverage
31	Javad Khakbaz	Totally Self-Checking Checker for 1-out-of-n Code Using Two-Rail Codes.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	code disjoint, 1-out-of-n code, programmable logic array (PLA) totally self-checking (TSC), Checker, two-rail code
29	Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou	A Formal Theory of Cooperative TU-Games.	MDAI	2009	DBLP DOI BibTeX RDF	automated proof checker, formalization, cooperative games
29	Daniele Rossi 0001, Martin Omaña 0001, Cecilia Metra	Checkers' No-Harm Alarms and Design Approaches to Tolerate Them.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Error detecting codes, Transient faults, Self-checking circuits, Checker
29	Martin Mutz	Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Modelling guidelines, Rule checker, UML, Software metrics, Statecharts, Automotive
29	Xinming Tan, Yingxu Wang 0001, Cyprian F. Ngolah	Specification of the RTPA Grammar and Its Recognition.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	descriptive mathematics, grammar recognition, LL(k), type checker, software engineering, formal methods, Cognitive informatics, parser, system behaviors, human behaviors, RTPA
29	Colin D. Walter	Data Integrity in Hardware for Modular Arithmetic.	CHES	2000	DBLP DOI BibTeX RDF	checker circuit, fault tolerance, testing, cryptography, data integrity, RSA, Computer arithmetic, correctness, error correction, soft errors, Montgomery multiplication, modular multiplication, modular exponentiation
29	Colin D. Walter	Montgomery's Multiplication Technique: How to Make It Smaller and Faster.	CHES	1999	DBLP DOI BibTeX RDF	higher radix methods, checker function, fault tolerance, testing, cryptography, RSA, Computer arithmetic, systolic arrays, error correction, differential power analysis, DPA, Montgomery modular multiplication
29	Egor S. Sogomonyan, Michael Gössel	Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems.	VTS	1996	DBLP DOI BibTeX RDF	circuit feedback, concurrently self-testing embedded checker, ultra-reliable fault-tolerant system, parity codes, design, monitoring, built-in self test, integrated circuit testing, linear feedback shift register, error detection codes, error detection code, shift registers, arithmetic codes, Berger codes, duplication codes, integrated circuit reliability, corrector
28	Md Abdullah Shahneous Bari, Ujjwal Arora, Varun Hegde, Tony Curtis, Barbara M. Chapman	OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM.	ISPDC	2021	DBLP DOI BibTeX RDF
28	Miren Illarramendi Rezabal, Leire Etxeberria, Felix Larrinaga, Goiuria Sagardui	CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker.	ISSRE Workshops	2020	DBLP DOI BibTeX RDF
28	Flora Ramírez Bustamante, Alfredo Arnaiz, Mar Ginés	A Spell Checker for a World Language: The New Microsoft's Spanish Spell Checker.	LREC	2006	DBLP BibTeX RDF
27	Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan	Line-up: a complete and automatic linearizability checker.	PLDI	2010	DBLP DOI BibTeX RDF	thread safety, atomicity, linearizability
27	Paulo J. Matos, Bernd Fischer 0002, João Marques-Silva 0001	A Lazy Unbounded Model Checker for Event-B.	ICFEM	2009	DBLP DOI BibTeX RDF
27	George O. M. Yee	An Automatic Privacy Policy Agreement Checker for E-services.	ARES	2009	DBLP DOI BibTeX RDF
27	Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Verifying networked programs using a model checker extension.	ICSE Companion	2009	DBLP DOI BibTeX RDF
27	Sebastian Mödersheim, Luca Viganò 0001	The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.	FOSAD	2009	DBLP DOI BibTeX RDF
27	Sotirios Matakias, Yiorgos Tsiatouhas, Themistoklis Haniotakis, Angela Arapoyanni	A Current Mode, Parallel, Two-Rail Code Checker.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
27	Luis Martinez-Gomez, Thierry Fraichard	An efficient and generic 2D Inevitable Collision State-checker.	IROS	2008	DBLP DOI BibTeX RDF
27	Barry Long, Jürgen Dingel, T. C. Nicholas Graham	Experience applying the SPIN model checker to an industrial telecommunications system.	ICSE	2008	DBLP DOI BibTeX RDF	model checking, formal methods, experience report