Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Miaomiao Zhang, Dang Van Hung, Zhiming Liu 0001	Verification of Linear Duration Invariants by Model Checking CTL Properties.	ICTAC	2008	DBLP DOI BibTeX RDF
24	Jefferson O. Andrade, Yukiyoshi Kameyama	A Direct Algorithm for Multi-valued Bounded Model Checking.	ATVA	2008	DBLP DOI BibTeX RDF
24	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger	Model-Checking omega-Regular Properties of Interval Markov Chains.	FoSSaCS	2008	DBLP DOI BibTeX RDF
24	Zarina Dzolkhifli, Hamidah Ibrahim, Lilly Suriani Affendey, Praveen Madiraju	A framework for caching relevant data items for checking integrity constraints of mobile database.	ICDIM	2008	DBLP DOI BibTeX RDF
24	Salvatore La Torre, Gennaro Parlato	On the Complexity of LtlModel-Checking of Recursive State Machines.	ICALP	2007	DBLP DOI BibTeX RDF
24	Taehoon Lee, Mintaek Cho, Gihwon Kwon	Using Bounded Model Checking with BOGOR.	SERA	2007	DBLP DOI BibTeX RDF
24	Christopher James Langmead, Sumit Kumar Jha 0001	Predicting Protein Folding Kinetics Via Temporal Logic Model Checking.	WABI	2007	DBLP DOI BibTeX RDF
24	Jinzhao Wu, Lin Zhao	Multi-Valued Model Checking via Groebner Basis Approach.	TASE	2007	DBLP DOI BibTeX RDF
24	Yanyan Xu 0001, Wei Chen 0018, Liang Xu, Wenhui Zhang	Evaluation of SAT-based Bounded Model Checking of ACTL Properties.	TASE	2007	DBLP DOI BibTeX RDF
24	Haibin Shen, Jimin Wang, Lingdi Ping, Kang Sun	Securing C Programs by Dynamic Type Checking.	ISPEC	2006	DBLP DOI BibTeX RDF
24	Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen	A Model Checking Tool Embedded into Services Composition Environment.	GCC	2006	DBLP DOI BibTeX RDF	Pi-calculus type system web services Composition verification tool compatibility
24	Ajay Mallya	Deductive Multi-valued Model Checking.	ICLP	2005	DBLP DOI BibTeX RDF
24	Zili Shao, Chun Xue, Qingfeng Zhuge, Edwin Hsing-Mean Sha, Bin Xiao 0001	Efficient Array & Pointer Bound Checking Against Buffer Overflow Attacks via Hardware/Software.	ITCC (1)	2005	DBLP DOI BibTeX RDF
24	Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller	Optimized run-time race detection and atomicity checking using partial discovered types.	ASE	2005	DBLP DOI BibTeX RDF	performance, type system, atomicity, data races
24	Maurice H. ter Beek, Mieke Massink, Diego Latella	Towards Model Checking Stochastic Aspects of the thinkteam User Interface.	DSV-IS	2005	DBLP DOI BibTeX RDF
24	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	Model Checking Rational Agents.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF
24	Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre	Using Model Checking to Assess the Dependability of Agent-Based Systems.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF
24	J.-Hendrik Pfeiffer, Wilhelm R. Rossak, Andreas Speck	Applying Model Checking to Workflow Verification.	ECBS	2004	DBLP DOI BibTeX RDF
24	Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso, Mayank Saksena	Regular Model Checking for LTL(MSO).	CAV	2004	DBLP DOI BibTeX RDF
24	Edmund M. Clarke, Daniel Kroening	Tutorial: Software Model Checking.	ICFEM	2004	DBLP DOI BibTeX RDF
24	Javier Esparza, Antonín Kucera 0001, Richard Mayr	Model Checking Probabilistic Pushdown Automata.	LICS	2004	DBLP DOI BibTeX RDF
24	Glenn Bruns, Patrice Godefroid	Model Checking with Multi-valued Logics.	ICALP	2004	DBLP DOI BibTeX RDF
24	Irith Pomeranz, Sudhakar M. Reddy	Reducing Fault Latency in Concurrent On-Line Testing by Using Checking Functions over Internal Lines.	DFT	2004	DBLP DOI BibTeX RDF
24	In-Ho Moon, Carl Pixley	Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.	FMCAD	2004	DBLP DOI BibTeX RDF
24	Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer	An Optimized Symbolic Bounded Model Checking Engine.	CHARME	2003	DBLP DOI BibTeX RDF
24	Robby, Matthew B. Dwyer, John Hatcliff	Bogor: an extensible and highly-modular software model checking framework.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	modular, extensible, domain-specific, model checker
24	Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen	The Complexity of Checking Consistency of Pedigree Information and Related Problems.	ICTCS	2003	DBLP DOI BibTeX RDF
24	Kyoil Kim, Jacob A. Abraham, Jayanta Bhadra	Model Checking of Security Protocols with Pre-configuration.	WISA	2003	DBLP DOI BibTeX RDF
24	Petros Oikonomakos, Mark Zwolinski	Foundation of Combined Datapath and Controller Self-checking Design.	IOLTS	2003	DBLP DOI BibTeX RDF
24	Sagar Chaki, Sriram K. Rajamani, Jakob Rehof	Types as models: model checking message-passing programs.	POPL	2002	DBLP DOI BibTeX RDF
24	Roberto Giacobazzi, Francesco Ranzato	States vs. Traces in Model Checking by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
24	Narayanan Krishnamurthy, Jayanta Bhadra, Magdy S. Abadir, Jacob A. Abraham	Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs?	VTS	2002	DBLP DOI BibTeX RDF
24	Satish Chandra 0001, Patrice Godefroid, Christopher Palm	Software model checking in practice: an industrial case study.	ICSE	2002	DBLP DOI BibTeX RDF
24	Orna Grumberg, Tamir Heyman, Assaf Schuster	Distributed Symbolic Model Checking for µ-Calculus.	CAV	2001	DBLP DOI BibTeX RDF
24	Luca de Alfaro	Model Checking the World Wide Web.	CAV	2001	DBLP DOI BibTeX RDF
24	Ilya Levin, Vladimir Sinelnikov, Mark G. Karpovsky	Synthesis of ASM-based Self-Checking Controllers.	DSD	2001	DBLP DOI BibTeX RDF
24	Michael Leuschel, Thierry Massart, Andrew Currie	How to Make FDR Spin LTL Model Checking of CSP by Refinement.	FME	2001	DBLP DOI BibTeX RDF
24	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
24	Willem Visser, Seungjoon Park, John Penix	Using predicate abstraction to reduce object-oriented programs for model checking.	FMSP	2000	DBLP DOI BibTeX RDF	browsing
24	Kirsten Winter	Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
24	Tevfik Bultan	BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems.	TACAS	2000	DBLP DOI BibTeX RDF
24	Thomas A. Henzinger, Rupak Majumdar	Symbolic Model Checking for Rectangular Hybrid Systems.	TACAS	2000	DBLP DOI BibTeX RDF
24	Satish Chandra 0001, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
24	Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu	Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.	CAV	1999	DBLP DOI BibTeX RDF
24	Markus Müller-Olm, David A. Schmidt, Bernhard Steffen	Model-Checking: A Tutorial Introduction.	SAS	1999	DBLP DOI BibTeX RDF
24	Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu	Symbolic Model Checking without BDDs.	TACAS	1999	DBLP DOI BibTeX RDF
24	Karen Laster, Orna Grumberg	Modular Model Checking of Software.	TACAS	1998	DBLP DOI BibTeX RDF
24	Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen	Model Checking via Reachability Testing for Timed Automata.	TACAS	1998	DBLP DOI BibTeX RDF
24	Gila Kamhi, Limor Fix, Ziv Binyamini	Symbolic Model Checking Visualization.	FMCAD	1998	DBLP DOI BibTeX RDF
24	Niraj K. Jha, Sying-Jyan Wang	Design and synthesis of self-checking VLSI circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
24	Andrea Schaerf	On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification.	ISMIS	1993	DBLP DOI BibTeX RDF
24	Gilberto Filé, P. Sottero	Abstract Interpretation for Type Checking.	PLILP	1991	DBLP DOI BibTeX RDF
24	Rajeev Alur, Costas Courcoubetis, David L. Dill	Model-Checking for Probabilistic Real-Time Systems (Extended Abstract).	ICALP	1991	DBLP DOI BibTeX RDF
24	Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli	On the scope of static checking in definitional languages.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
24	Alan J. Demers, James E. Donahue	Data Types, Parameters, and Type Checking.	POPL	1980	DBLP DOI BibTeX RDF
23	Jacob A. Abraham, Daniel G. Saab	Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs.	VLSI Design	2007	DBLP DOI BibTeX RDF
23	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	Enforcing Resource Bounds via Static Verification of Dynamic Checks.	ESOP	2005	DBLP DOI BibTeX RDF
23	Tomás Brázdil, Antonín Kucera 0001, Oldrich Strazovský	On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.	STACS	2005	DBLP DOI BibTeX RDF
23	Martin S. Feather	Rapid Application of Lightweight Formal Methods for Consistency Analysis.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	interface checking, test-log checking, database-based analysis, formal methods, Consistency checking, NASA
23	Dhiraj K. Pradhan	Sequential Network Design Using Extra Inputs for Fault Detection.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	In order to enhance fault-detection capability, extra inputs are used when designing sequential machines, Here, a technique is proposed that designs these machines, precisely with the use of extra inputs?so as especially to minimize the length of the checking sequence, The resulting checking sequences are shown to be upper bounded by (3 + 2n)m+rn(3m + 1), where n is the number of states, r is the number of inputs, m = logs, n and s is the number of extra inputs, respectively., diameter of graphs, fault detection, directed graphs, sequential machine, distinguishing sequence, Checking sequence
22	Antonin Chazalet	Service Level Checking in the Cloud Computing Context.	IEEE CLOUD	2010	DBLP DOI BibTeX RDF	Service Level Agreements Compliance Checking, Service Level Checking, Cloud Computing
22	Jiri Barnat, Lubos Brim, Pavel Simecek	Cluster-Based I/O-Efficient LTL Model Checking.	ASE	2009	DBLP DOI BibTeX RDF	I/O-efficient model checking, parallel model checking, LTL
22	Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar	Learning from BDDs in SAT-based bounded model checking.	DAC	2003	DBLP DOI BibTeX RDF	BDD learning, learning, SAT, BDDs, bounded model checking, boolean satisfiability, SAT solvers, property checking
22	Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj	Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR
22	Hasan Ural, Xiaolin Wu 0001, Fan Zhang 0001	On Minimizing the Lengths of Checking Sequences.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	testing, Finite state machines, fault detection, checking experiments, checking sequences
22	Funda Ergün, Ravi Kumar 0001, Ronitt Rubinfeld	Approximate Checking of Polynomials and Functional Equations (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	approximate checking, polynomial computation, functional equation computation, addition theorems, approximate program output, self-correcting, stability theory, program testing, polynomials, reductions, functions, self-testing, program checking
22	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
22	Manuel Blum 0001, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor	Checking the Correctness of Memories	FOCS	1991	DBLP DOI BibTeX RDF	memories correctness checking, reliable memory, sequence of requests, data structure, lower bounds, probability, program checking
22	Nikolaos Gaitanis	Totally Self-Checking Checkers with Separate Internal Fault Indication.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	separate internal fault indication, functional circuit, two-element Boolean algebra, self-checking operator blocks, logic testing, fault location, fault, design technique, totally self-checking checkers, algebraic approach
22	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
22	Patrice Chalin	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
22	Sean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler	Utilizing don't care states in SAT-based bounded sequential problems.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	don't care states, unreachable states, satisfiability, bounded model checking, sequential equivalence checking
22	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
22	Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang	Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.	SPIN	2018	DBLP DOI BibTeX RDF
22	Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue	Symbolic Causality Checking Using Bounded Model Checking.	SPIN	2015	DBLP DOI BibTeX RDF
22	Maik Kollmann	Anforderungsspezifikation, Verhaltensspezifikation und Überprüfung objektorientierter Stellwerke mit Multi-Objektlogiken, UML-Zustandsdiagrammen und Multi-Object Checking (Requirements Specification, Behavioral Specification and Checking of object-oriented Interlocking Systems using Multi-Object Logics, UML State Machines and Multi-Object Checking)		2008	DOI RDF
21	Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry	Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic code optimization, dynamic correctness checking, dynamic program analysis
21	Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster	Mixing type checking and symbolic execution.	PLDI	2010	DBLP DOI BibTeX RDF	mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms
21	Jens Bendisposto, Michael Leuschel	Proof Assisted Model Checking for B.	ICFEM	2009	DBLP DOI BibTeX RDF	Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration
21	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	A Metric Encoding for Bounded Model Checking.	FM	2009	DBLP DOI BibTeX RDF	Bounded model checking, metric temporal logic
21	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
21	Florian Frische, Tomasz Mistrzyk, Andreas Lüdtke	Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking.	INTERACT (1)	2009	DBLP DOI BibTeX RDF	Hierarchical Task Analysis, Model Checking, Error Analysis
21	Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin	Durations and parametric model-checking in timed automata.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	model-checking, Timed automata, Presburger arithmetic
21	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Model driven code checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Logic model checking, Embedded C code, Software verification, Spin model checker
21	Roland Meyer 0001, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko	Model checking Duration Calculus: a practical approach.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
21	Sven Feja, Daniel Fötsch	Model Checking with Graphical Validation Rules.	ECBS	2008	DBLP DOI BibTeX RDF	Model Checking, Workflow, Specification, Business Process, CTL
21	Gilberto A. Cysneiros Filho, Andrea Zisman	Traceability and completeness checking for agent-oriented systems.	SAC	2008	DBLP DOI BibTeX RDF	completeness checking, multi-agent systems, traceability, agent oriented software engineering
21	Novica Zarvic, Roel J. Wieringa, Pascal van Eck	Checking the alignment of value-based business models and IT functionality.	SAC	2008	DBLP DOI BibTeX RDF	requirements engineering, use cases, consistency checking, business-IT alignment, value modeling
21	María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Model Checking C Programs with Dynamic Memory Allocation.	COMPSAC	2008	DBLP DOI BibTeX RDF	software model checking, pointers, dynamic memory, Model extraction
21	Colin J. Fidge	Relative simulation and model checking of real-time processes.	ACSC	2008	DBLP BibTeX RDF	simulation, real-time systems, model checking
21	Madanlal Musuvathi, Shaz Qadeer	Fair stateless model checking.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs
21	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	A (de)constructive approach to program checking.	STOC	2008	DBLP DOI BibTeX RDF	program testing, program correcting, program checking
21	Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik	Global consistency checking of distributed models with TReMer+.	ICSE	2008	DBLP DOI BibTeX RDF	consistency checking, distributed development, model merging
21	Zhi Yang, Guangsheng Ma, Shu Zhang	A Novel Approach to High-Level Property Checking Using Wu's Method.	DELTA	2008	DBLP DOI BibTeX RDF	Wu's method, formal verification, high-level design, property checking
21	Yunja Choi	From NuSMV to SPIN: Experiences with model checking flight guidance systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Flight guidance systems, Model checking, SPIN, NuSMV
21	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi	GSTE is partitioned model checking.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	GSTE, Property-driven partitioning, Symbolic model checking
21	A. Prasad Sistla, Xiaodong Wang, Min Zhou	Checking extended CTL properties using guarded quotient structures.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Symmetric systems, Guarded quotient structures, Model checking, Temporal logic, Program verification, State space reduction
21	Fei Pu, Wenhui Zhang	Combining search space partition and abstraction for LTL model checking.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	search space partition, LTL model checking, refinement, abstraction
21	Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle	Model Checking Markov Chains with Actions and State Labels.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	model checking, Markov processes, automata, Protocol verification, performance of systems
21	Cong Tian, Zhenhua Duan	Model Checking Propositional Projection Temporal Logic Based on SPIN.	ICFEM	2007	DBLP DOI BibTeX RDF	Propositional Projection Temporal Logic, Model Checking, Verification, Spin, Automaton