Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Zijiang Yang 0006, Chao Wang 0001, Aarti Gupta, Franjo Ivancic	Model checking sequential software programs via mixed symbolic analysis.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	composite symbolic formula, Model checking, binary decision diagram, reachability analysis, presburger arithmetic, image computation
18	Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz 0001, María-Emilia Cambronero	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.	Telecommun. Syst.	2009	DBLP DOI BibTeX RDF	AVISPA toolbox, Model checking, Security protocols, Wireless sensor
18	Neha Rungta, Eric G. Mercer	Guided model checking for programs with polymorphism.	PEPM	2009	DBLP DOI BibTeX RDF	error discovery, heuristics, software model checking, guided search
18	Perry R. James, Patrice Chalin	Extended static checking in JML4: benefits of multiple-prover support.	SAC	2009	DBLP DOI BibTeX RDF	ESC, ESC4, JML4, theorem provers, Java modeling language, static verification, extended static checking
18	Matteo Casadei, Mirko Viroli	Using probabilistic model checking and simulation for designing self-organizing systems.	SAC	2009	DBLP DOI BibTeX RDF	collective sort, self-organization, stochastic simulation, probabilistic model checking
18	Farn Wang	Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.	HSCC	2009	DBLP DOI BibTeX RDF	algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation
18	Christopher H. Broadbent, C.-H. Luke Ong	On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
18	Junguo Li, Xiangping Chen, Gang Huang 0001, Hong Mei 0001, Franck Chauvel	Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support.	CBSE	2009	DBLP DOI BibTeX RDF	fault-tolerant style, Fault tolerance, model checking, software architecture
18	Weichen Liu, Zonghua Gu 0001, Jiang Xu 0001, Yu Wang 0002, Mingxuan Yuan	An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, optimization, model checking, memory management, synchronous dataflow
18	Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler	Contradictory antecedent debugging in bounded model checking.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	formal verification, debugging, bounded model checking, psl
18	Jerzy W. Greblicki, Jerzy Kotowski	Automated Design of Totally Self-Checking Sequential Circuits.	EUROCAST	2009	DBLP DOI BibTeX RDF	sequential circuits, Fault tolerant systems, totally self-checking circuits
18	Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena	Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.	RP	2009	DBLP DOI BibTeX RDF	uncertain kinetic rates, interval Markov chains, abstract interpretation, systems biology, probabilistic model checking
18	Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo 0003	Abstraction in model checking multi-agent systems.	AAMAS (2)	2009	DBLP BibTeX RDF	model checking, abstraction, epistemic logic
18	Jonathan Ezekiel, Alessio Lomuscio	Combining fault injection and model checking to verify fault tolerance in multi-agent systems.	AAMAS (1)	2009	DBLP BibTeX RDF	fault tolerance, model checking, fault injection, epistemic logic
18	David Faragó, Peter H. Schmitt	Improving Non-Progress Cycle Checks.	SPIN	2009	DBLP DOI BibTeX RDF	Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks
18	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Combining symbolic execution with model checking to verify parallel numerical programs.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program
18	Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund	Automatic Coding Rule Conformance Checking Using Logic Programming.	PADL	2008	DBLP DOI BibTeX RDF	Coding rule checking, Declarative domain-specific languages and applications, Logic programming, Programming environments
18	Nan Guan, Zonghua Gu 0001, Mingsong Lv, Qingxu Deng, Ge Yu 0001	Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.	ISORC	2008	DBLP DOI BibTeX RDF	Schedulability, real-time scheduling, symbolic model-checking
18	Marwan Abi-Antoun, Jonathan Aldrich	Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	conformance checking, runtime architecture
18	Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün	Using adaptive distinguishing sequences in checking sequence constructions.	SAC	2008	DBLP DOI BibTeX RDF	adaptive distinguishing sequences, checking sequence construction, preset distinguishing sequences, finite state machines, model-based testing
18	Marcelo Finger, Renata Wassermann	Revising Specifications with CTL Properties Using Bounded Model Checking.	SBIA	2008	DBLP DOI BibTeX RDF	Model-checking, formal specification, belief revision, CTL
18	Beatriz Pérez 0001, Ivan Porres	Verification of Clinical Guidelines by Model Checking.	CBMS	2008	DBLP DOI BibTeX RDF	Model checking, Formal Methods, Clinical Guidelines
18	Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann	Type checking with open type functions.	ICFP	2008	DBLP DOI BibTeX RDF	type families, type functions, Haskell, type checking
18	Paula Herber, Joachim Fellmuth, Sabine Glesner	Model checking SystemC designs using timed automata.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	model checking, timed automata, SystemC
18	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
18	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Tools and Techniques for Model Checking Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	networking, software verification, Software model checking, inter-process communication
18	Tao Huang 0019, Anthony Chung	Finding Narrow Input/Output (NIO) Sequences by Model Checking.	SERA	2008	DBLP DOI BibTeX RDF	Communication protoocls, model checking, protocol engineering, protocol testing
18	Xiaodong Zhu, Zhiqiu Huang, Guohua Shen	Description Logic Based Consistency Checking upon Data Mining Metadata.	RSKT	2008	DBLP DOI BibTeX RDF	Data mining, Metadata, Knowledge representation, Automated reasoning, Consistency checking
18	Yexin Zheng, Michael S. Hsiao, Chao Huang	SAT-based equivalence checking of threshold logic designs for nanotechnologies.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	SAT, nanotechnology, equivalence checking, threshold logic
18	Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini	Defining and continuous checking of structural program dependencies.	ICSE	2008	DBLP DOI BibTeX RDF	continuous checking, controlling program dependencies, static analysis, datalog
18	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Efficient Model Checking of Networked Applications.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	caching, software testing, Software model checking, network communication
18	Dharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura	Architecture Compliance Checking at Runtime: An Industry Experience Report.	QSIC	2008	DBLP DOI BibTeX RDF	architecture compliance checking, hierarchical colored Petri nets, run-time monitoring
18	Louis-Marie Traonouez, Didier Lime, Olivier H. Roux	Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.	FORMATS	2008	DBLP DOI BibTeX RDF	state-class graph, model-checking, Time Petri nets, parameters, stopwatches
18	Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma	Symbolic Model Checking APSL.	TASE	2008	DBLP DOI BibTeX RDF	Symbolic model checking, PSL
18	Jinji Yang, Kaile Su, Qingliang Chen	Improving Encoding Efficiency for Bounded Model Checking.	TASE	2008	DBLP DOI BibTeX RDF	encoding, SAT, Bounded Model Checking
18	Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh 0002, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang	Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.	DAC	2008	DBLP DOI BibTeX RDF	task chain, model checking, timed automata, clock drifts, end-to-end latency
18	Pascal Urard, Asma Maalej, Roberto Guizzetti, Nitin Chawla	Leveraging sequential equivalence checking to enable system-level to RTL flows.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, high-level synthesis, equivalence checking, system-level models, RTL models
18	Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki	Compositional Model-Checking Verification of Critical Systems.	ICEIS	2008	DBLP DOI BibTeX RDF	Critical software systems, Model-checking, Formal methods, Case study, Compositional verification
18	Jan-Georg Smaus, Jörg Hoffmann 0001	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
18	Martin Fränzle, Christian Herde	HySAT: An efficient proof engine for bounded model checking of hybrid systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification, Hybrid systems, Satisfiability, Decision procedures, Bounded model checking, Infinite-state systems
18	Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin	Model Checking Safety-Critical Systems Using Safecharts.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Safecharts, extended timed automaton, model checking, Safety-critical systems
18	Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen	Checking safety properties on-the-fly with the sweep-line method.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Sweep-line method, On-the-fly model checking, Datagram Congestion Control Protocol
18	Gary Wassermann, Carl Gould 0001, Zhendong Su 0001, Premkumar T. Devanbu	Static checking of dynamically generated queries in database applications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	database queries, JDBC, Static checking, context-free language reachability
18	Shriram Krishnamurthi, Kathi Fisler	Foundations of incremental aspect model-checking.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	Incremental verification, feature-oriented software, model checking, aspect-oriented programming, modular verification
18	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis	Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.	SAFECOMP	2007	DBLP DOI BibTeX RDF	intrusion attacks, e-commerce protocols, model checking, SPIN
18	David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda	Symbolic Model Checking of Analog/Mixed-Signal Circuits.	ASP-DAC	2007	DBLP DOI BibTeX RDF	analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language
18	Bijan Alizadeh, Masahiro Fujita	Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions.	ATVA	2007	DBLP DOI BibTeX RDF	Formal Verification, System on a Chip (SoC), Communication System, Canonical Representation, Sequential Equivalence Checking
18	Laurent Mounier, Ludovic Samper, Wassim Znaidi	Worst-case lifetime computation of a wireless sensor network by model-checking.	PE-WASUN	2007	DBLP DOI BibTeX RDF	wireless sensor networks, modeling, model-checking, analysis, energy
18	Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani	Discovery of SOA patterns via model checking.	IW-SOSWE	2007	DBLP DOI BibTeX RDF	SOA patterns, comprehension of service-oriented systems, model checking, pattern discovery
18	Graham Hughes, Tevfik Bultan	Interface grammars for modular software model checking.	ISSTA	2007	DBLP DOI BibTeX RDF	interface grammars, model checking, modular verification
18	Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls	Checking Pedigree Consistency with PCS.	TACAS	2007	DBLP DOI BibTeX RDF	Pedigree Consistency checking, bioinformatics, SAT, computational biology, Boolean satisfiability, genetics
18	James Cheney, Alberto Momigliano	Mechanized metatheory model-checking.	PPDP	2007	DBLP DOI BibTeX RDF	counterexample search, model checking, nominal logic
18	Tejaswi Gowda, Sarma B. K. Vrudhula, Goran Konjevod	Combinational equivalence checking for threshold logic circuits.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	nano devices, EDA, equivalence checking, threshold logic
18	Oksana Tkachuk, Sreeranga P. Rajan	Combining environment generation and slicing for modular software model checking.	ASE	2007	DBLP DOI BibTeX RDF	environment generation, modular model checking, slicing
18	Andrea Ferrara, Paolo Liberatore, Marco Schaerf	Model Checking and Preprocessing.	AI*IA	2007	DBLP DOI BibTeX RDF	Model Checking, Complexity, Compilability
18	Huaikou Miao, Hongwei Zeng	Model Checking-based Verification of Web Application.	ICECCS	2007	DBLP DOI BibTeX RDF	consistency criteria, model checking, Web application, automated verification
18	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
18	Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt	Verifying distributed real-time properties of embedded systems via graph transformations and model checking.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	Distributed real-time, Model checking, Embedded systems, Schedulability analysis, Component middleware
18	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	Dealing with practical limitations of distributed timed model checking for timed automata.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
18	Malay K. Ganai, Aarti Gupta, Zijiang Yang 0006, Pranav Ashar	Efficient distributed SAT and SAT-based distributed Bounded Model Checking.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Distributed-SAT, Parallel SAT, Model Checking, Formal Verification, SAT, BMC
18	Rik Eshuis	Symbolic model checking of UML activity diagrams.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	Model checking, Unified Modeling Language, activity diagrams
18	Susan Elias, K. S. Easwarakumar, Richard Chbeir	Dynamic consistency checking for temporal and spatial relations in multimedia presentations.	SAC	2006	DBLP DOI BibTeX RDF	authoring, multimedia presentation, consistency checking, spatial relations, temporal relations
18	Jan-David Quesel, Andreas Schäfer 0001	Spatio-temporal Model Checking for Mobile Real-Time Systems.	ICTAC	2006	DBLP DOI BibTeX RDF	real-time systems, model checking, temporal logic, mobile systems, Duration Calculus, spatial logic
18	José M. Martínez, Boudewijn R. Haverkort	MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF	DSPNs, CSL, model checking, Markov process, Markov regenerative process
18	Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi	Security Analysis of RFID Authentication for Pervasive Systems using Model Checking.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
18	Andreas Schaad, Volkmar Lotz, Karsten Sohr	A model-checking approach to analysing organisational controls in a loan origination process.	SACMAT	2006	DBLP DOI BibTeX RDF	organisational control, model-checking, delegation, separation, revocation
18	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Using model checking with symbolic execution to verify parallel numerical programs.	ISSTA	2006	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program
18	S. N. I. Mount, R. M. Newman, R. J. Low	ICODE: enabling the static checking of programs and their documentation.	SIGDOC	2006	DBLP DOI BibTeX RDF	ICODE, exstatic, static checking
18	Daniel Große, Ulrich Kühne, Rolf Drechsler	HW/SW co-verification of embedded systems using bounded model checking.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	hardware/software co-verification, embedded systems, formal verification, SystemC, bounded model checking, PSL
18	Philippe Georgelin, Venkat Krishnaswamy	Towards a C++-based design methodology facilitating sequential equivalence checking.	DAC	2006	DBLP DOI BibTeX RDF	modeling methodology, sequential equivalence checking
18	Mohammad Awedh, Fabio Somenzi	Automatic invariant strengthening to prove properties in bounded model checking.	DAC	2006	DBLP DOI BibTeX RDF	SAT, bounded model checking
18	Alessio Lomuscio, Franco Raimondi	Model checking knowledge, strategies, and games in multi-agent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	model checking multi-agent systems, ATL
18	Alessio Lomuscio, Franco Raimondi	The complexity of model checking concurrent programs against CTLK specifications.	AAMAS	2006	DBLP DOI BibTeX RDF	model checking multi-agent systems, complexity
18	Harry C. Li, Shriram Krishnamurthi, Kathi Fisler	Modular Verification of Open Features Using Three-Valued Model Checking.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	cross-cutting concerns in software, model checking, feature-oriented programming, modular verification
18	Ramazan Savas Aygün, Aidong Zhang	SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	synchronization rules, model checking, multimedia presentations, Multimedia synchronization
18	Elsa L. Gunter, Doron A. Peled	Model checking, testing and verification working together.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Model checking, Verification, Test generation
18	Cormac Flanagan, Patrice Godefroid	Dynamic partial-order reduction for model checking software.	POPL	2005	DBLP DOI BibTeX RDF	software model checking, partial-order reduction
18	Jocelyn Simmonds, M. Cecilia Bastarrica	A tool for automatic UML model consistency checking.	ASE	2005	DBLP DOI BibTeX RDF	model consistency checking, software design verification, description logics
18	Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Qingliang Chen, Guanfeng Lv	Bounded model checking knowledge and branching time in synchronous multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking
18	Dániel Varró	Automated formal verification of visual modeling languages by model checking.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Model checking, Formal verification, Model transformation, Metamodeling, Graph transformation
18	Viktor Schuppan, Armin Biere	Efficient reduction of finite state model checking to reachability analysis.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Safety, Liveness, Linear temporal logic
18	Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond	Counter-example generation in symbolic abstract model-checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Concrete counterexample, Model-checking, Abstraction, Test pattern generation
18	Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty	Test sequence generation and model checking using dynamic transition relations.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Test sequence generation
18	María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001	A generalized semantics of PROMELA for abstract model checking.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Abstraction, spin, Structured operational semantics, promela
18	Martin Fränzle	Model-checking dense-time Duration Calculus.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Dense-time Duration Calculus, Model-checking, Decidability
18	A. Prasad Sistla, Patrice Godefroid	Symmetry and reduced symmetry in model checking.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	formula decomposition, model checking algorithms and tools, temporal logics, symmetry reductions, State space explosion
18	Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader	Timed model checking of security protocols.	FMSE	2004	DBLP DOI BibTeX RDF	timed model checking, security protocols, timed automata
18	Lihua Xu, Marcio S. Dias, Debra J. Richardson	Generating Regression Tests via Model Checking.	COMPSAC	2004	DBLP DOI BibTeX RDF	Model Checking, Formal Specification, Software Testing, Regression Testing
18	Samir Jafar, Sébastien Varrette, Jean-Louis Roch	Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations.	DEXA Workshops	2004	DBLP DOI BibTeX RDF	Checkpoint Recovery, Certificate of execution, Fault Tolerant, Parallel Processing, Result Checking
18	Chao Wang 0001, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi	Refining the SAT decision ordering for bounded model checking.	DAC	2004	DBLP DOI BibTeX RDF	decision heuristic, SAT, bounded model checking
18	Jessica Chen, Hanmei Cui	Translation from Adapted UML to Promela for CORBA-Based Applications.	SPIN	2004	DBLP DOI BibTeX RDF	Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification
18	Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal	Model Checking at IBM.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	model checking, formal methods, formal verification
18	Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka	Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Explicit-state model checking, Protocol verification, Livelock, Sliding-window protocol
18	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle	A tool for model-checking Markov chains.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Numerical mathematics, Performance evaluation, Model checking, Temporal logic, Markov chain, Probabilistic systems
18	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Boolean and Cartesian abstraction for model checking C programs.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Software engineering, Model checking, Verification, Program analysis, Abstract interpretation
18	Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer	Flexible consistency checking.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	CASE tools, consistency management, multiple perspectives, constraint checking
18	Andreas Thums, Gerhard Schellhorn	Model Checking FTA.	FME	2003	DBLP DOI BibTeX RDF	model checking, safety analysis, fault tree analysis
18	Alessandro Armando, Luca Compagna, Pierre Ganty	SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.	FME	2003	DBLP DOI BibTeX RDF	SAT encodings, security protocols, bounded model-checking, SAT-solvers
18	Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Model-Checking TRIO Specifications in SPIN.	FME	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin, modular specifications
18	Marco Bertini 0001, Alberto Del Bimbo, Walter Nunziati	Model checking for detection of sport highlights.	Multimedia Information Retrieval	2003	DBLP DOI BibTeX RDF	model checking, sports video, automatic video annotation