Search results for "model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Antti Valmari	Software model checking is a rich research field.	STTT	2009	DBLP DOI BibTeX RDF	Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods
5	E. Allen Emerson	The Beginning of Model Checking: A Personal Perspective.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	model-theoretic, origins, model checking, synthesis, history
5	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	New Challenges in Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
5	Tobias Schüle, Klaus Schneider	Bounded model checking of infinite state systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
5	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
5	Anton Wijs, Bert Lisser	Distributed Extended Beam Search for Quantitative Model Checking.	MoChArt	2006	DBLP DOI BibTeX RDF	directed model checking, distributed model checking, scheduling, beam search
4	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
4	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
4	Liang Xu, Wei Chen 0018, Yanyan Xu, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
4	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
4	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
4	Randal E. Bryant	A View from the Engine Room: Computational Support for Symbolic Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
4	Rajeev Alur	Model Checking: From Tools to Theory.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
4	Limor Fix	Fifteen Years of Formal Property Verification in Intel.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	formal property verification, Model checking, formal specification
4	Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, Li-Fu Wang	Bounded Model Checking of CTL.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	symbolic model checking, bounded model checking, QBF, CTL*
4	Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho	The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems.	Electronic Commerce Research	2006	DBLP DOI BibTeX RDF	Model checking patterns, Software engineering, Model checking, Design patterns, Design methodologies, Software verification
4	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
4	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL-partitioned model checking for reactive systems under fairness assumptions.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
4	Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta	Using probabilistic model checking for dynamic power management.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Model checking, Embedded systems, Formal methods, Power management, Probabilistic model checking
4	Magdalena Kacprzak, Wojciech Penczek	Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1.	Autonomous Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF	Alternating-time Temporal Logic, unbounded model checking, SAT-based verification, multi-agent systems, symbolic model checking
4	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Beyond safety: customized SAT-based model checking.	DAC	2005	DBLP DOI BibTeX RDF	circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
4	Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila	Simple Is Better: Efficient Bounded Model Checking for Past LTL.	VMCAI	2005	DBLP DOI BibTeX RDF	Past LTL, Bounded Model Checking, NuSMV
4	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Probabilistic symbolic model checking with PRISM: a hybrid approach.	STTT	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Probabilistic model checking
4	Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter	Verifying Multi-agent Systems via Unbounded Model Checking.	FAABS	2004	DBLP DOI BibTeX RDF	unbounded model checking, multi-agent systems, Model checking
4	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
4	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
4	Hyeong-Ju Kang, In-Cheol Park	SAT-based unbounded symbolic model checking.	DAC	2003	DBLP DOI BibTeX RDF	boolean satisfiability checking, unbounded symbolic model checking, formal verification, symbolic model checking
4	Hubert Garavel, Radu Mateescu, 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
4	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
4	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
4	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
3	Weixun Wang, Xiaoke Qin, Prabhat Mishra	Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach.	ISLPED	2010	DBLP DOI BibTeX RDF	dvs, temperature-aware, model checking, low power design
3	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
3	Graeme Smith, Kirsten Winter	Model checking action system refinements.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	model checking, Refinement, CTL, action systems
3	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.	Telecommunication Systems	2009	DBLP DOI BibTeX RDF	AVISPA toolbox, Model checking, Security protocols, Wireless sensor
3	Zijiang Yang, Chao Wang, 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
3	Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang	Symbolic model checking APSL.	Frontiers of Computer Science in China	2009	DBLP DOI BibTeX RDF	tableau approach, extended NuSMV, symbolic model checking, property specification language
3	María-del-Mar Gallardo, Pedro Merino, David Sanán	Model Checking Dynamic Memory Allocation in Operating Systems.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Model checking, Operating systems, Dynamic memory allocation
3	Bastian Schlich, Stefan Kowalewski	Model checking C source code for embedded systems.	STTT	2009	DBLP DOI BibTeX RDF	Model checking, Embedded systems, Microcontroller, Assembly code, C code
3	Julian Gutierrez, 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
3	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
3	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
3	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
3	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
3	Pavel Parizek, 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
3	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
3	Florian Frische, Tomasz Mistrzyk, Andreas Lüdtke	Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking.	INTERACT	2009	DBLP DOI BibTeX RDF	Hierarchical Task Analysis, Model Checking, Error Analysis
3	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
3	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
3	Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski	Efficient Probabilistic Model Checking on General Purpose Graphics Processors.	SPIN	2009	DBLP DOI BibTeX RDF
3	Radek Pelánek, Václav Rosecký	EMMA: Explicit Model Checking Manager (Tool Presentation).	SPIN	2009	DBLP DOI BibTeX RDF
3	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
3	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
3	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
3	Franz J. Rammig, Yuhong Zhao, 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
3	Naoki Kobayashi	Model-checking higher-order functions.	PPDP	2009	DBLP DOI BibTeX RDF	model checking, program verification, higher-order functions, recursion schemes
3	Junguo Li, Xiangping Chen, Gang Huang 0001, Hong Mei, 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
3	Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo	Abstraction in model checking multi-agent systems.	AAMAS	2009	DBLP DOI BibTeX RDF	model checking, abstraction, epistemic logic
3	Jonathan Ezekiel, Alessio Lomuscio	Combining fault injection and model checking to verify fault tolerance in multi-agent systems.	AAMAS	2009	DBLP DOI BibTeX RDF	fault tolerance, model checking, fault injection, epistemic logic
3	Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu	Model-Checking the Linux Virtual File System.	VMCAI	2009	DBLP DOI BibTeX RDF
3	Aarti Gupta	Model Checking Concurrent Programs.	VMCAI	2009	DBLP DOI BibTeX RDF
3	Rotem Oshman	An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
3	Ralf Wimmer, Bettina Braitling, Bernd Becker	Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
3	E. Allen Emerson	Model Checking: Progress and Problems.	VMCAI	2009	DBLP DOI BibTeX RDF
3	Patrice Godefroid, Nir Piterman	LTL Generalized Model Checking Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
3	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
3	Weichen Liu, Zonghua Gu, Jiang Xu, 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
3	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
3	Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko	Model checking Duration Calculus: a practical approach.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
3	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
3	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
3	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Compositional encoding for bounded model checking.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking
3	Wojciech Jamroga, Jürgen Dix	Model Checking Abilities of Agents: A Closer Look.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Computational complexity
3	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
3	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
3	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
3	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
3	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
3	Tertia Hörne, John A. van der Poll	Planning as model checking: the performance of ProB vs NuSMV.	SAICSIT Conf.	2008	DBLP DOI BibTeX RDF	tableaux theorem proving, model checking, planning, satisfiability, BDDs, constraint logic programming
3	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
3	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
3	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Efficient Model Checking of Networked Applications.	TOOLS	2008	DBLP DOI BibTeX RDF	caching, software testing, Software model checking, network communication
3	Sven Feja, Daniel Fötsch	Model Checking with Graphical Validation Rules.	ECBS	2008	DBLP DOI BibTeX RDF	Model Checking, Workflow, Specification, Business Process, CTL
3	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
3	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
3	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
3	María-del-Mar Gallardo, Pedro Merino, 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
3	Beatriz Pérez, Ivan Porres	Verification of Clinical Guidelines by Model Checking.	CBMS	2008	DBLP DOI BibTeX RDF	Model checking, Formal Methods, Clinical Guidelines
3	Peter Lamborn, Eric A. Hansen	Layered Duplicate Detection in External-Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
3	Edmund M. Clarke	The Birth of Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
3	Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu	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
3	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
3	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar	Survey on Directed Model Checking.	MoChArt	2008	DBLP DOI BibTeX RDF
3	Gal Katz, Doron Peled	Model Checking Driven Heuristic Search for Correct Programs.	MoChArt	2008	DBLP DOI BibTeX RDF
3	Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge	Model Checking Strategic Equilibria.	MoChArt	2008	DBLP DOI BibTeX RDF
3	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Bounded Model Checking of Compositional Processes.	TASE	2008	DBLP DOI BibTeX RDF	Compositional Processes, Tool, Bounded Model Checking
3	Jinji Yang, Kaile Su, Qingliang Chen	Improving Encoding Efficiency for Bounded Model Checking.	TASE	2008	DBLP DOI BibTeX RDF	encoding, SAT, Bounded Model Checking
3	Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma	Symbolic Model Checking APSL.	TASE	2008	DBLP DOI BibTeX RDF	Symbolic model checking, PSL
3	Tao Huang, 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
3	Alex Groce, Rajeev Joshi	Extending Model Checking with Dynamic Analysis.	VMCAI	2008	DBLP DOI BibTeX RDF