Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Reza Curtmola, Osama Khan, Randal C. Burns	Robust remote data checking.	StorageSS	2008	DBLP DOI BibTeX RDF	provable data possession, remote data checking, spot checking, error-correcting codes, pdp, storage security, archival storage
32	Stefan Disch, Christoph Scholl 0001	Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets.	ASP-DAC	2007	DBLP DOI BibTeX RDF	shared circuit structures, incremental SAT techniques, bounded model checking, combinational equivalence checking
32	Michael Leuschel, Michael J. Butler	Automatic Refinement Checking for B.	ICFEM	2005	DBLP DOI BibTeX RDF	Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
32	Naoyasu Ubayashi, Tetsuo Tamai	Aspect-oriented programming with model checking.	AOSD	2002	DBLP DOI BibTeX RDF	checking frameworks, model checking, validation
32	Hiroaki Iwashita, Tsuneo Nakata	Forward model checking techniques oriented to buggy designs.	ICCAD	1997	DBLP DOI BibTeX RDF	symbolic state traversal, forward model checking, formal verification, symbolic model checking
32	Zuan Zhang	An approach to hierarchy model checking via evaluating CTL hierarchically.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties
32	Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin	A classification of symbolic transition systems.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms
32	Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001 (eds.)	Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
32	Giovanni Bacci 0001, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard	Quantitative Analysis of Interval Markov Chains.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
32	Markus Frohme, Bernhard Steffen	Never-Stop Context-Free Learning.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
32	Manuel Gieseking, Ernst-Rüdiger Olderog	High-Level Representation of Benchmark Families for Petri Games.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
32	Simon Dierl, Falk Howar	A Taxonomy and Reductions for Common Register Automata Formalisms.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
32	Jakaria Abdullah, Wang Yi 0001	Cause-Effect Reaction Latency in Real-Time Systems.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
32	Tiziana Margaria, Alexander Schieweck	Towards Engineering Digital Twins by Active Behaviour Mining.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
32	Yih-Kuen Tsay, Moshe Y. Vardi	From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
32	Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu	Compositional Reasoning.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Dennis Dams, Orna Grumberg	Abstraction and Abstraction Refinement.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Randal E. Bryant	Binary Decision Diagrams.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Ranjit Jhala, Andreas Podelski, Andrey Rybalchenko	Predicate Abstraction for Program Verification.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	João Marques-Silva 0001, Sharad Malik	Propositional SAT Solving.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Clark W. Barrett, Cesare Tinelli	Satisfiability Modulo Theories.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Laurent Doyen 0001, Goran Frehse, George J. Pappas, André Platzer	Verification of Hybrid Systems.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis	Modeling for Verification.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Nir Piterman, Amir Pnueli	Temporal Logic and Fair Discrete Systems.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Doron Peled	Partial-Order Reduction.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Cindy Eisner, Dana Fisman	Functional Specification of Hardware via Temporal Logic.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann	Graph Games and Reactive Synthesis.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Tom Melham	Symbolic Trajectory Evaluation.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
32	Orna Grumberg, Helmut Veith (eds.)	25 Years of Model Checking - History, Achievements, Perspectives	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
32	Jean-Pierre Queille, Joseph Sifakis	Specification and Verification of Conurrent Systems in Cesar.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
32	Amir Pnueli, Aleksandr Zaks	On the Merits of Temporal Testers.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
32	David L. Dill	A Retrospective on Murphi.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
32	Edmund M. Clarke, E. Allen Emerson	Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
32	Stefan Edelkamp, Stefan Leue, Willem Visser (eds.)	Directed Model Checking, 26.04. - 29.04.2006	Directed Model Checking	2007	DBLP BibTeX RDF
32	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.)	Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
32	Jérôme Leroux, Grégoire Sutre	Flat counter automata almost everywhere!.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
32	Jörg Bauer 0001, Reinhard Wilhelm	Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
32	Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek	Reachability analysis of multithreaded software with asynchronous communication.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
32	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
32	Scott D. Stoller, Willem Visser (eds.)	Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001	Workshop on Software Model Checking@CAV	2001	DBLP BibTeX RDF
32	Marius Bozga, Susanne Graf, Laurent Mounier	Automated validation of distributed software using the IF environment.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
32	Scott D. Stoller, Willem Visser	Preface.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
31	Rui Gong, Wei Chen 0009, Fang Liu 0002, Kui Dai, Zhiying Wang 0003	Control flow checking and recovering based on 8051 architecture.	SAC	2008	DBLP DOI BibTeX RDF	8051 architecture, recovering, control flow checking
31	Hamidah Ibrahim, Zarina Dzolkhifli, Praveen Madiraju	A Model for Checking the Integrity Constraints of Mobile Databases.	OTM Workshops	2008	DBLP DOI BibTeX RDF	integrity constraints, Mobile databases, constraint checking
31	Tertia Hörne, John A. van der Poll	Planning as model checking: the performance of ProB vs NuSMV.	SAICSIT	2008	DBLP DOI BibTeX RDF	tableaux theorem proving, model checking, planning, satisfiability, BDDs, constraint logic programming
31	Zarina Dzolkhifli, Hamidah Ibrahim, Lilly Suriani Affendey	Data caching strategies for checking integrity constraints of mobile database.	iiWAS	2008	DBLP DOI BibTeX RDF	checking integrity constraints, data caching, mobile databases
31	Alice Miller 0001, Alastair F. Donaldson, Muffy Calder	Symmetry in temporal logic model checking.	ACM Comput. Surv.	2006	DBLP DOI BibTeX RDF	quotient graph, Model checking, symmetry
31	Weibo Mao, Jinzhao Wu	Application of Wu's method to symbolic model checking.	ISSAC	2005	DBLP DOI BibTeX RDF	Wu's method, symbolic model checking, characteristic set
31	Batsayan Das, Dipankar Sarkar 0001, Santanu Chattopadhyay	Model checking on state transition diagram.	ASP-DAC	2004	DBLP DOI BibTeX RDF	CTL model checking, Finite State Machine (FSM), State Transition Diagram (STD), Kripke structure
31	Fang Yu 0001, Bow-Yaw Wang	Toward Unbounded Model Checking for Region Automata.	ATVA	2004	DBLP DOI BibTeX RDF	Region automata, Real-time systems, Model checking, Verification, Induction, BMC
31	Markus Müller-Olm, Haiseung Yoo	MetaGame: An Animation Tool for Model-Checking Games.	TACAS	2004	DBLP DOI BibTeX RDF	model checking, animation, game, error diagnosis, branching time logic
31	Li Tan, Rance Cleaveland	Evidence-Based Model Checking.	CAV	2002	DBLP DOI BibTeX RDF	diagnostic information, Model checking, temporal logic, mu-calculus
31	Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz	Checking Integrity Constraints in Multidatabase Systems with Nested Transactions.	CoopIS	2001	DBLP DOI BibTeX RDF	Integrity constraints, Consistency checking, Distributed transactions, Multidatabase systems, Nested transactions
31	William Chan 0001, Richard J. Anderson, Paul Beame, Steve Burns 0002, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking
31	Matthew B. Dwyer, Corina S. Pasareanu	Model Checking Generic Container Implementations.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic containers, Model checking, temporal logic, assume-guarantee reasoning
31	Khalil Ajami, Serge Haddad, Jean-Michel Ilié	Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.	TACAS	1998	DBLP DOI BibTeX RDF	Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
31	Rotem Oshman	An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
31	Alex Groce, Rajeev Joshi	Extending Model Checking with Dynamic Analysis.	VMCAI	2008	DBLP DOI BibTeX RDF
31	Wiebe van der Hoek, Michael J. Wooldridge	Model Checking Knowledge and Time.	SPIN	2002	DBLP DOI BibTeX RDF
31	Flavio Lerda, Willem Visser	Addressing Dynamic Issues of Program Model Checking.	SPIN	2001	DBLP DOI BibTeX RDF
31	S. Rajan, Natarajan Shankar, Mandayam K. Srivas	An Integration of Model Checking with Automated Proof Checking.	CAV	1995	DBLP DOI BibTeX RDF
31	Dipankar Das 0002, P. P. Chakrabarti 0001, Rajeev Kumar 0004	Functional verification of task partitioning for multiprocessor embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Containment checking, state space reduction, UML activity diagrams, multiprocessor embedded systems
30	Guowei Yang 0001, Matthew B. Dwyer, Gregg Rothermel	Regression model checking.	ICSM	2009	DBLP DOI BibTeX RDF
30	Tzi-cker Chiueh	Fast Bounds Checking Using Debug Register.	HiPEAC	2008	DBLP DOI BibTeX RDF
30	Benjamin Aminof, Aniello Murano, Moshe Y. Vardi	Pushdown Module Checking with Imperfect Information.	CONCUR	2007	DBLP DOI BibTeX RDF
30	Taehoon Lee, Gihwon Kwon, Hyuksoo Han	CTL Model Checking for Boolean Program.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
30	Eugen-Nicolae Volanschi	A Portable Compiler-Integrated Approach to Permanent Checking.	ASE	2006	DBLP DOI BibTeX RDF
30	Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge	On the complexity of practical ATL model checking.	AAMAS	2006	DBLP DOI BibTeX RDF	verification, complexity, cooperation, logic
30	Laura Bozzelli, Aniello Murano, Adriano Peron	Pushdown Module Checking.	LPAR	2005	DBLP DOI BibTeX RDF
30	Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan	An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment.	CHARME	2005	DBLP DOI BibTeX RDF
30	Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff	A Case Study in Domain-Customized Model Checking for Real-Time Component Software.	ISoLA	2004	DBLP DOI BibTeX RDF
30	David S. Rosenblum, Sriram Sankar, David C. Luckham	Concurrent Runtime Checking of Annotated Ada Programs.	FSTTCS	1986	DBLP DOI BibTeX RDF
30	Naoki Kobayashi 0001	Types and Recursion Schemes for Higher-Order Program Verification.	APLAS	2009	DBLP DOI BibTeX RDF
30	Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia	Detecting Design Flaws in UML State Charts for Embedded Software.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
29	Alessandro Armando, Luca Compagna	SAT-based model-checking for security protocols analysis.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	SAT-based model checking, Multi-set rewriting, Security protocols, Bounded model checking
29	Michael Huth 0001	Some current topics in model checking.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Temporal logic, Slicing, Game semantics, Feature integration, Incremental design, Refinement checking
29	Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin	Testing Distributed Systems Through Symbolic Model Checking.	FORTE	2007	DBLP DOI BibTeX RDF	global property, model checking of traces, trace checking, testing, asynchronous distributed systems
29	Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho	The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems.	Electron. Commer. Res.	2006	DBLP DOI BibTeX RDF	Model checking patterns, Software engineering, Model checking, Design patterns, Design methodologies, Software verification
29	Vitalij Ocheretnij, Michael Gössel, Egor S. Sogomonyan, Daniel Marienfeld	Modulo p=3 Checking for a Carry Select Adder.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	concurrent checking, modulo checking, carry select adder
29	Cormac Flanagan	Hybrid type checking.	POPL	2006	DBLP DOI BibTeX RDF	dynamic checking, type systems, contracts, static checking
29	Magdalena Kacprzak, Wojciech Penczek	Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	Alternating-time Temporal Logic, unbounded model checking, SAT-based verification, multi-agent systems, symbolic model checking
29	Gethin Norman, David Parker 0001, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta 0001	Using probabilistic model checking for dynamic power management.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Model checking, Embedded systems, Formal methods, Power management, Probabilistic model checking
29	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Probabilistic symbolic model checking with PRISM: a hybrid approach.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Probabilistic model checking
29	Antonella Santone	Heuristic Search + Local Model Checking in Selective mu-Calculus.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	local model checking, model checking, temporal logic, heuristic search, State explosion, AND/OR graph
29	Lorena Anghel, Michael Nicolaidis, Issam Alzaher-Noufal	Self-Checking Circuits versus Realistic Faults in Very Deep Submicron.	VTS	2000	DBLP DOI BibTeX RDF	Concurrent checking, self–checking circuits, timing faults, very deep submicron, hardware fault tolerance, soft errors, defects, nanometer technologies
29	Nikolaos Gaitanis, Panagiotis Kostarakis, Antonis M. Paschalis	Totally Self Checking reconfigurable duplication system with separate internal fault indication.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	decision circuits, totally self checking system, reconfigurable duplication system, separate internal fault indication, single cell fault model, functional self checking units, decision circuit, indication outputs, nonstop repair, fault diagnosis, logic testing, built-in self test, redundancy, redundancy, reconfigurable architectures, switching circuits, error indication
29	Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt	Verification of Medical Guidelines by Model Checking - A Case Study.	SPIN	2006	DBLP DOI BibTeX RDF	Asbru, medical guidelines, Model checking, verification, formal methods, abstraction
29	Dorel Lucanu, Gabriel Ciobanu	Model Checking for Object Specifications in Hidden Algebra.	VMCAI	2004	DBLP DOI BibTeX RDF	hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
29	Yu Pei 0001, Qiwen Xu	Checking Interval Based Properties for Reactive Systems.	VMCAI	2004	DBLP DOI BibTeX RDF	finitary property, model checking, reactive system, interval temporal logic
29	Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
28	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	bi-infinite time, satisfiability checking, temporal logic, bounded model checking
28	Xiaowei Li 0001, Guanghui Li 0001, Ming Shao	Formal Verification Techniques Based on Boolean Satisfiability Problem.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	incremental satisfiability, minimal unsatisfiable formula, model checking, equivalence checking
28	Eric Kerfoot, Steve McKeever	Checking concurrent contracts with aspects.	SAC	2010	DBLP DOI BibTeX RDF	Java, concurrency, AOP, active objects, runtime assertion checking
28	Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma, Zhaofei Wang	Symbolic model checking APSL.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	tableau approach, extended NuSMV, symbolic model checking, property specification language
28	Naoki Kobayashi 0001	Model-checking higher-order functions.	PPDP	2009	DBLP DOI BibTeX RDF	model checking, program verification, higher-order functions, recursion schemes
28	Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic.	ATVA	2008	DBLP DOI BibTeX RDF	Quantifier-free first order logic, state exploration, term-height reduction, model checking
28	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Pre-testing Flash Device Driver through Model Checking Techniques.	ICST	2008	DBLP DOI BibTeX RDF	Model Checking, Testing, Embedded Software
28	Anastasiya Yurchyshyna, Catherine Faron-Zucker, Nhan Le Thanh, Alain Zarli	Towards the Knowledge Capitalisation and Organisation in the Model of Conformity-Checking Process in Construction.	KES (1)	2008	DBLP DOI BibTeX RDF	capitalization of construction knowledge, organization of the base of conformity queries, Semantic Web in Construction, Conformity checking
28	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
28	Zhi-Hong Tao, Hans Kleine Büning, Lifu Wang	Direct Model Checking Matrix Algorithm.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	direct model checking (DMC), Kripke semantics structure, CTL logic, matrix algorithm