Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi	Using model checking to find serious file system errors.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Model checking, file system, recovery, journaling, crash
28	Sumeet Kumar, Aneesh Aggarwal	Self-checking instructions: reducing instruction redundancy for concurrent error detection.	PACT	2006	DBLP DOI BibTeX RDF	RISC/CISC, reducing instruction redundancy, redundant multi-threading, self-checking instructions, concurrent error detection, VLIW architectures
28	Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of data structure properties.	OOPSLA	2006	DBLP DOI BibTeX RDF	program analysis, software model checking
28	Beata Konikowska, Wojciech Penczek	Model checking for multivalued logic of knowledge and time.	AAMAS	2006	DBLP DOI BibTeX RDF	multivalued modal logic, model checking, epistemic logic, interpreted systems
28	Orna Grumberg, Tamir Heyman, Assaf Schuster	Distributed Symbolic Model Checking for µ-Calculus.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	model checking, distributed, hardware verification, symbolic, Mu-calculus
28	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Computational challenges in bounded model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Bonded-Model-checking, Completeness-Threshold, Complexity
28	Bing Li, Chao Wang 0001, Fabio Somenzi	Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement
28	Roberto Ziller, Klaus Schneider 0001	Combining supervisor synthesis and model checking.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Ramadge-Wonham, supervisor synthesis, model checking
28	Thi Viet Nga Nguyen, François Irigoin	Efficient and effective array bound checking.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	interprocedural analysis, Array bound checking
28	Wojciech Jamroga, Jürgen Dix	Do Agents Make Model Checking Explode (Computationally)?	CEEMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, model checking, temporal logic
28	Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain	On Partitioning and Symbolic Model Checking.	FM	2005	DBLP DOI BibTeX RDF	state partitioning, BDD, Symbolic Model Checking, CTL
28	Nan Zhang 0003, Mark Ryan 0001, Dimitar P. Guelev	Evaluating Access Control Policies Through Model Checking.	ISC	2005	DBLP DOI BibTeX RDF	access control policy language, model checking, verification, access control, access control model, access control policy
28	Johannes Kinder, Stefan Katzenbeisser 0001, Christian Schallhart, Helmut Veith	Detecting Malicious Code by Model Checking.	DIMVA	2005	DBLP DOI BibTeX RDF	Model Checking, Malware Detection
28	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
28	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski	Bytecode Verification by Model Checking.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	model checking, static analysis, type safety, bytecode verification
28	Arie Gurfinkel, Marsha Chechik	Generating Counterexamples for Multi-valued Model-Checking.	FME	2003	DBLP DOI BibTeX RDF	De Morgan algebras, model-checking, CTL, counterexamples, witnesses
28	Sabine Glesner	Program Checking with Certificates: Separating Correctness-Critical Code.	FME	2003	DBLP DOI BibTeX RDF	safety-scalability, real-scale applications, verification, validation, certificates, correctness, program checking
28	Gihwon Kwon	Applying Model Checking Techniques to Game Solving.	SERA	2003	DBLP DOI BibTeX RDF	game solving, Model checking, counterexample, state explosion problem
28	Marc-Philippe Huget, Michael J. Wooldridge	Model checking for ACL compliance verification.	AAMAS	2003	DBLP DOI BibTeX RDF	model checking, verification, agents, semantics, agent communication language
28	Ralf Pinger, Hans-Dieter Ehrich	Compositional Checking of Communication among Observers.	FASE	2001	DBLP DOI BibTeX RDF	distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality
28	Xuan Liu, Shashi Shekhar, Sanjay Chawla	Consistency checking for Euclidean spatial constraints: a dimension graph approach.	ICTAI	2000	DBLP DOI BibTeX RDF	Euclidean spatial constraints, dimension graph approach, graph cycle detection, spatial predicates, two-dimensional space, computational complexity, computational geometry, transforms, polygons, consistency checking, intervals, space complexity, spatial objects
28	Rance Cleaveland	Pragmatics of Model Checking: An STTT Special Section.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Model checking, Temporal logic, State explosion, System verification
28	Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw	Automated Consistency Checking of Requirements Specifications.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking
28	Giorgio Ghelli	Complexity of Kernel Fun Subtype Checking.	ICFP	1996	DBLP DOI BibTeX RDF	polymorphism, subtyping, type theory, type checking
28	B. Hamdi, Hakim Bederr, Michael Nicolaidis	A tool for automatic generation of self-checking data paths.	VTS	1995	DBLP DOI BibTeX RDF	self-checking data paths, ALUs, shifters, double rail checkers, logic testing, built-in self test, microprocessors, adders, circuit CAD, multipliers, microcontrollers, register files, circuit design, CAD tools, automatic generation, automatic test software, dividers, circuit testing, parity checkers
28	Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi	Another Look at LTL Model Checking.	CAV	1994	DBLP DOI BibTeX RDF	model checking, temporal logic, binary decision diagrams, automatic verification
28	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
28	Radu Mateescu 0001, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	SPIN	2008	DBLP DOI BibTeX RDF
28	Lubos Brim, Jiri Barnat	Tutorial: Parallel Model Checking.	SPIN	2007	DBLP DOI BibTeX RDF
28	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking JML specifications using an extensible software model checking framework.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF
28	David A. Wagner 0001	Pushdown Model Checking for Security.	SPIN	2005	DBLP DOI BibTeX RDF
28	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking Strong Specifications Using an Extensible Software Model Checking Framework.	TACAS	2004	DBLP DOI BibTeX RDF
28	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Completeness and Complexity of Bounded Model Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
28	Cindy Eisner, Doron A. Peled	Comparing Symbolic and Explicit Model Checking of a Software System.	SPIN	2002	DBLP DOI BibTeX RDF
28	Michael Huth 0001	Model Checking Modal Transition Systems Using Kripke Structures.	VMCAI	2002	DBLP DOI BibTeX RDF
27	Lihua Duan, Jessica Chen	Alternative B-Sequences.	QSIC	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, distinguishing sequence, checking sequence
27	María Alpuente, Moreno Falaschi, Alicia Villanueva	A Symbolic Model Checker for tccp Programs.	RISE	2004	DBLP DOI BibTeX RDF	Timed Concurrent Constraint Programs, DDDs, Model Checking, Lightweight formal methods
27	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
27	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
27	Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal	An Algorithmic Approach to Design Exploration.	FME	2002	DBLP DOI BibTeX RDF	hardware debugging, hardware exploration, Model checking
27	Wiebe van der Hoek, Michael J. Wooldridge	Tractable multiagent planning for epistemic goals.	AAMAS	2002	DBLP DOI BibTeX RDF	epistemic & temporal logic, model checking, planning
27	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
27	Ralf Wimmer 0001, Alexander Kortus, Marc Herbstritt, Bernd Becker 0001	Probabilistic Model Checking and Reliability of Results.	DDECS	2008	DBLP DOI BibTeX RDF
27	In-Ho Moon, Per Bjesse, Carl Pixley	A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states.	DATE	2007	DBLP DOI BibTeX RDF
27	Alessandro Ferrante, Aniello Murano	Enriched µ-Calculi Module Checking.	FoSSaCS	2007	DBLP DOI BibTeX RDF
27	Wenhui Zhang	Verification of ACTL Properties by Bounded Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
27	Joel P. Self, Eric G. Mercer	On-the-Fly Dynamic Dead Variable Analysis.	SPIN	2007	DBLP DOI BibTeX RDF
27	Robby, Matthew B. Dwyer, John Hatcliff	Domain-specific Model Checking Using The Bogor Framework.	ASE	2006	DBLP DOI BibTeX RDF
27	Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip	Symmetry Reduction in SAT-Based Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
27	Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby	Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.	CAV	2005	DBLP DOI BibTeX RDF
27	Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty	Bounded Validity Checking of Interval Duration Logic.	TACAS	2005	DBLP DOI BibTeX RDF
27	Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas.	ATVA	2004	DBLP DOI BibTeX RDF
27	François Laroussinie, Nicolas Markey, Philippe Schnoebelen	Model Checking Timed Automata with One or Two Clocks.	CONCUR	2004	DBLP DOI BibTeX RDF
27	Patrice Godefroid	Reasoning about Abstract Open Systems with Generalized Module Checking.	EMSOFT	2003	DBLP DOI BibTeX RDF
27	Patrice Godefroid, Radha Jagadeesan	Automatic Abstraction Using Generalized Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
27	Miklós Ajtai	The invasiveness of off-line memory checking.	STOC	2002	DBLP DOI BibTeX RDF
27	Lefteris M. Kirousis, Phokion G. Kolaitis	On the Complexity of Model Checking and Inference in Minimal Models.	LPNMR	2001	DBLP DOI BibTeX RDF
27	Karen Yorav, Sagi Katz, Ron Kiper	Reproducing Synchronization Bugs with Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
27	Martin Grohe	Generalized Model-Checking Problems for First-Order Logic.	STACS	2001	DBLP DOI BibTeX RDF
27	K. Suzanne Barber, Thomas J. Graser, Jim Holt	Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.	ASE	2001	DBLP DOI BibTeX RDF
27	Glenn Bruns, Patrice Godefroid	Generalized Model Checking: Reasoning about Partial State Spaces.	CONCUR	2000	DBLP DOI BibTeX RDF
27	E. Allen Emerson	Model Checking: Theory into Practice.	FSTTCS	2000	DBLP DOI BibTeX RDF
27	Armin Biere, Edmund M. Clarke, Yunshan Zhu	Multiple State and Single State Tableaux for Combining Local and Global Model Checking.	Correct System Design	1999	DBLP DOI BibTeX RDF
27	Ilya Levin, Vladimir Sinelnikov	Self-Checking of FPGA-Based Control Units.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
27	David F. Redmiles	Can Model Checking Scale to Software? (Panel).	ASE	1999	DBLP DOI BibTeX RDF
27	Richard J. Anderson, Paul Beame, Steve Burns 0002, William Chan 0001, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
27	Peter Steenkiste, John L. Hennessy	Tags and Type Checking in Lisp: Hardware and Software Approaches.	ASPLOS	1987	DBLP DOI BibTeX RDF	LISP, RISC
26	Wenhui Zhang	Bounded Semantics of CTL and SAT-Based Verification.	ICFEM	2009	DBLP DOI BibTeX RDF
26	Sven Schewe	ATL* Satisfiability Is 2EXPTIME-Complete.	ICALP (2)	2008	DBLP DOI BibTeX RDF
26	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Realizability and Verification of MSC Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
26	Ranjit Jhala, Rupak Majumdar	Software model checking.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking
26	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	optimization, model checking, centralization, Software model checking, partial-order reduction
26	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL-partitioned model checking for reactive systems under fairness assumptions.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
26	Amit M. Paradkar, Tim Klinger	Automated Consistency and Completeness Checking of Testing Models for Interactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Completeness Checking, Reachability, Consistency Checking
26	Arie Gurfinkel, Benet Devereux, Marsha Chechik	Model exploration with temporal logic query checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	multi-valued model-checking, query-checking, CTL
26	Peter Wohl, John A. Waicukauski	Using ATPG for clock rules checking in complex scan design.	VTS	1997	DBLP DOI BibTeX RDF	clock rules checking, complex scan designs, structured DFT, automated design-rules-checking, robust set of rules, clock-rule-violation detection, fast clock verification, large microprocessor design, topological circuit analysis, zero delay, user controlled verification, capture ability, port contention, cone tracing, equivalent sources, ATPG, race conditions, computer testing, timing verification
26	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi	Tearing based automatic abstraction for CTL model checking.	ICCAD	1996	DBLP DOI BibTeX RDF	ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition
26	Michael Nicolaidis	Shorts in self-checking circuits.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	strongly fault-secure circuits, transistor faults, error detecting codes, self-checking circuits, totally self-checking circuits
25	Marta Z. Kwiatkowska, Gethin Norman	Verifying Randomized Byzantine Agreement.	FORTE	2002	DBLP DOI BibTeX RDF	Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms
25	Anna Antola, Fabrizio Ferrandi, Vincenzo Piuri, Mariagiovanna Sami	Semiconcurrent Error Detection in Data Paths.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Semiconcurrent error detection, checking periodicity, resource minimization, fault tolerance, high-level synthesis, data flow graph, self-checking circuits
25	Michael Nicolaidis	Efficient UBIST implementation for microprocessor sequencing parts.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	strongly code disjoint checkers, signature analyser, UBIST, microprocessor sequencing part, BIST, LFSR, self-checking circuits, totally self-checking circuits
25	Abdelaziz Fellah	Time and alternation: an automata based framework to software model checking.	SAC	2010	DBLP DOI BibTeX RDF	software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking
25	Maithili Narasimha, John Solis, Gene Tsudik	Privacy-preserving revocation checking.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Privacy-preserving revocation checking, Anonymity and privacy, Certificate revocation trees, Revocation, Certificate revocation lists
25	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages
25	María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Model Checking Dynamic Memory Allocation in Operating Systems.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Model checking, Operating systems, Dynamic memory allocation
25	Graeme Smith 0001, Kirsten Winter	Model checking action system refinements.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	model checking, Refinement, CTL, action systems
25	Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry	An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.	FM	2009	DBLP DOI BibTeX RDF	Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method
25	Pavel Parízek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
25	Franz J. Rammig, Yuhong Zhao 0001, Sufyan Samara	On-Line Model Checking as Operating System Service.	SEUS	2009	DBLP DOI BibTeX RDF	On-line model checking, Verification service, Real-time operating system
25	Julian Gutierrez 0001, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
25	Florian Kammüller, Sören Preibusch	An industrial application of symbolic model checking.	Inform. Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	Schlagworte Symbolisches Model Checking, Mechanische Verifikation, Industrielle Fallstudie, Zustandsbasierte Systeme, Sicherheit, SMV
25	Robert M. Hierons, Hasan Ural	Checking sequences for distributed test architectures.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Distributed test architecture, Coordination problems, Observability problems, Testing, Checking sequence
25	Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of soundness of type systems.	OOPSLA	2008	DBLP DOI BibTeX RDF	software model checking, type soundness
25	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.	ICTAC	2008	DBLP DOI BibTeX RDF	bi-infinite words and automata, Bounded model checking, metric temporal logic
25	Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei 0001	Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram.	COMPSAC	2008	DBLP DOI BibTeX RDF	non-functional attributes, model checking, model driven development, UML class diagram
25	Naoki Iwasaki, Katsumi Wasaki	A Meta Hardware Description Language Melasy for Model-Checking Systems.	ITNG	2008	DBLP DOI BibTeX RDF	Hardware/Software co-design and co-verification, Model Checking, Haskell, Design-for-test, Hardware Compilers
25	José Nuno Oliveira	Extended Static Checking by Calculation Using the Pointfree Transform.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF	formal methods, Theoretical foundations, proof obligations, extended static checking
25	Hendrik Decker, Davide Martinenghi	Classifying integrity checking methods with regard to inconsistency tolerance.	PPDP	2008	DBLP DOI BibTeX RDF	inconsistency tolerance, integrity constraints, integrity checking
25	Dan Zhu, Tun Li, Yang Guo 0003, Sikun Li	2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.	ISQED	2008	DBLP DOI BibTeX RDF	cutpoints, Program slicing, Sequential equivalence checking
25	Ali Selamat, Siti Dianah Abdul Bujang	The Design of Model Checking Agent for SMS Management System.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	model checking agent, SMS management system, direct sales and network marketing, e-business