Search results for "symbolic model-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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
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	Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma	Symbolic Model Checking APSL.	TASE	2008	DBLP DOI BibTeX RDF	Symbolic model checking, PSL
3	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
3	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
3	Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter Robinson	Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.	FM	2006	DBLP DOI BibTeX RDF	partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings
3	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	under-approximation, symbolic model checking, hints, symmetry reduction
3	Sébastien Bardin, Alain Finkel, Jérôme Leroux, Ph. Schnoebelen	Flat Acceleration in Symbolic Model Checking.	ATVA	2005	DBLP DOI BibTeX RDF	verification of infinite-state systems, acceleration, symbolic model checking
3	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
3	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
3	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith	Counterexample-guided abstraction refinement for symbolic model checking.	J. ACM	2003	DBLP DOI BibTeX RDF	temporal logic, Abstraction, symbolic model checking, hardware verification
3	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
3	William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Optimizing Symbolic Model Checking for Statecharts.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
3	Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno	Symbolic Model Checking for Self-Stabilizing Algorithms.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	distributed algorithms, Self-stabilization, symbolic model checking, automatic verification
3	Richard J. Anderson, Paul Beame, William Chan, David Notkin	Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification
3	Jinsong Bei, Hongxing Li, Jinian Bian, Hongxi Xue, Xianlong Hong	FSM Modeling of Synchronous VHDL Design for Symbolic Model Checking.	ASP-DAC	1999	DBLP DOI BibTeX RDF	Finite State Machine, VHDL, Symbolic Model Checking
3	Y. Tachi, Satoshi Yamane	Real-Time Symbolic Model Checking for Hard Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	real-time symbolic model checking, real-time systems, timed automaton, real-time temporal logic
3	William Chan, Richard J. Anderson, Paul Beame, David Notkin	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.	ISSTA	1998	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML
2	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic	Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.	TACAS	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	Wonhong Nam, P. Madhusudan, Rajeev Alur	Automatic symbolic compositional verification by learning assumptions.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning
2	Conghua Zhou, Zhenyu Chen, Zhihong Tao	QBF-Based Symbolic Model Checking for Knowledge and Time.	TAMC	2007	DBLP DOI BibTeX RDF
2	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi	GSTE is partitioned model checking.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	GSTE, Property-driven partitioning, Symbolic model checking
2	Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya	Transition-based coverage estimation for symbolic model checking.	ASP-DAC	2006	DBLP DOI BibTeX RDF
2	Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti	A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.	MoChArt	2006	DBLP DOI BibTeX RDF
2	Charles Pecheur, Franco Raimondi	Symbolic Model Checking of Logics with Actions.	MoChArt	2006	DBLP DOI BibTeX RDF
2	Vineet Kahlon, Aarti Gupta, Nishant Sinha	Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.	CAV	2006	DBLP DOI BibTeX RDF
2	Hyeong-Ju Kang, In-Cheol Park	SAT-based unbounded symbolic model checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
2	Orna Grumberg, Tamir Heyman, Assaf Schuster	Distributed Symbolic Model Checking for µ-Calculus.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	model checking, distributed, hardware verification, symbolic, Mu-calculus
2	Georgios Logothetis	Forward symbolic model checking for real time systems.	ASP-DAC	2005	DBLP DOI BibTeX RDF
2	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
2	Dezhuang Zhang, Rance Cleaveland	Efficient temporal-logic query checking for presburger systems.	ASE	2005	DBLP DOI BibTeX RDF	Presburger systems, on-the-fly symbolic model checking, query checking, model checking, formal methods
2	Kairong Qian, Albert Nymeyer, Steven Susanto	Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.	FORTE	2005	DBLP DOI BibTeX RDF	model approximations, Formal verification, heuristic search, symbolic model checking, data abstractions
2	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
2	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
2	Nicolas Markey, Ph. Schnoebelen	Symbolic Model Checking for Simply-Timed Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
2	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang	Symbolic Model Checking for Probabilistic Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
2	Martin Lange	Symbolic Model Checking of Non-regular Properties.	CAV	2004	DBLP DOI BibTeX RDF
2	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Efficient SAT-based unbounded symbolic model checking using circuit cofactoring.	ICCAD	2004	DBLP DOI BibTeX RDF
2	Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud	A Symbolic Symbolic State Space Representation.	FORTE	2004	DBLP DOI BibTeX RDF	Well-Formed Petri Nets, Symbolic Model-checking, Decision Diagrams, Symmetry Detection, Symbolic Reachability Graph
2	Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady	Test sequence generation and model checking using dynamic transition relations.	STTT	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Test sequence generation
2	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Covering sharing trees: a compact data structure for parameterized verification.	STTT	2004	DBLP DOI BibTeX RDF	Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems
2	Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel	Multi-valued symbolic model-checking.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality
2	Sharon Barner, Ishai Rabinovitz	Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.	CHARME	2003	DBLP DOI BibTeX RDF
2	Nathalie Chabrier, François Fages	Symbolic Model Checking of Biochemical Networks.	CMSB	2003	DBLP DOI BibTeX RDF
2	Elsa L. Gunter, Doron Peled	Unit Checking: Symbolic Model Checking for a Unit of Code.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
2	Sanjit A. Seshia, Randal E. Bryant	Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods.	CAV	2003	DBLP DOI BibTeX RDF
2	Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli	Web Applications Design and Maintenance Using Symbolic Model Checking.	CSMR	2003	DBLP DOI BibTeX RDF
2	Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier	Automatic Symmetry Detection in Well-Formed Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	Well-Formed Petri nets, partial symmetry, symbolic model-checking, symmetry detection
2	Giorgio Delzanno	Constraint-Based Verification of Parameterized Cache Coherence Protocols.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	constraints, abstractions, symbolic model checking, cache coherence protocols
2	Jürgen Ruf, Thomas Kropf	Symbolic Verification and Analysis of Discrete Timed Systems.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	multi terminal binary decision diagrams, real-time systems, formal verification, symbolic model checking
2	Tuba Yavuz-Kahveci, Tevfik Bultan	A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.	STTT	2003	DBLP DOI BibTeX RDF	Composite representation, BDD, Symbolic model checking, Presburger arithmetic
2	Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella	Integrating BDD-Based and SAT-Based Symbolic Model Checking.	FroCos	2002	DBLP DOI BibTeX RDF
2	Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno	Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.	ICOIN	2002	DBLP DOI BibTeX RDF
2	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
2	Kenneth L. McMillan	Applying SAT Methods in Unbounded Symbolic Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
2	Massimo Benerecetti, Alessandro Cimatti	Validation of Multiagent Systems by Symbolic Model Checking.	AOSE	2002	DBLP DOI BibTeX RDF
2	Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng	Symbolic model checking of Dual Transition Petri Nets.	CODES	2002	DBLP DOI BibTeX RDF
2	Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix	A hybrid verification approach: getting deep into the design.	DAC	2002	DBLP DOI BibTeX RDF	hybrid verification, symbolic model checking, symbolic trajectory evaluation
2	Aarti Gupta, Albert E. Casavant, Pranav Ashar, X. G. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi	Property-Specific Testbench Generation for Guided Simulation.	VLSI Design	2002	DBLP DOI BibTeX RDF	guided simulation, intelligent testbench generation, witness graph, property-specific testbench, approximate model checking, symbolic model checking, iterative refinement
2	Farn Wang, Karsten Schmidt 0004	Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.	FORTE	2002	DBLP DOI BibTeX RDF	data-structures, Symmetry, symbolic model-checking, pointers
2	Orna Grumberg, Tamir Heyman, Assaf Schuster	Distributed Symbolic Model Checking for µ-Calculus.	CAV	2001	DBLP DOI BibTeX RDF
2	Thomas A. Henzinger, Rupak Majumdar	Symbolic Model Checking for Rectangular Hybrid Systems.	TACAS	2000	DBLP DOI BibTeX RDF
2	Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala	Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.	TACAS	2000	DBLP DOI BibTeX RDF
2	Christoph Meinel, Christian Stangier	Speeding up symbolic model checking by accelerating dynamic variable reordering.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF
2	Jin Yang, Andreas Tiemeyer	Lazy symbolic model checking.	DAC	2000	DBLP DOI BibTeX RDF
2	Hiromi Hiraishi	Verification of deadlock free property of high level robot control.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties
2	Christel Baier, Joost-Pieter Katoen, Holger Hermanns	Approximate Symbolic Model Checking of Continuous-Time Markov Chains.	CONCUR	1999	DBLP DOI BibTeX RDF
2	Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu	Symbolic Model Checking without BDDs.	TACAS	1999	DBLP DOI BibTeX RDF
2	Cindy Eisner	Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard.	CHARME	1999	DBLP DOI BibTeX RDF
2	Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John	Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking.	VLSI Design	1999	DBLP DOI BibTeX RDF
2	Karsten Strehl, Lothar Thiele	Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.	DATE	1999	DBLP DOI BibTeX RDF
2	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
2	William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.	ICSE	1999	DBLP BibTeX RDF	fault tolerance, formal methods, formal verification, binary decision diagrams, statecharts, symbolic model checking, software specification
2	Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube	Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.	EUROMICRO	1999	DBLP DOI BibTeX RDF
2	Karsten Strehl	Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.	RTCSA	1999	DBLP DOI BibTeX RDF	timed reachability analysis, real-time symbolic model checking, Formal verification, timed automata, binary decision diagrams
2	Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu	Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.	FMCAD	1998	DBLP DOI BibTeX RDF
2	Gila Kamhi, Limor Fix, Ziv Binyamini	Symbolic Model Checking Visualization.	FMCAD	1998	DBLP DOI BibTeX RDF
2	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-historic to Post-modern Symbolic Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
2	Matt Kaufmann, Andrew Martin, Carl Pixley	Design Constraints in Symbolic Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
2	Gila Kamhi, Limor Fix	Adaptive variable reordering for symbolic model checking.	ICCAD	1998	DBLP DOI BibTeX RDF	variable reordering, binary decision diagram, symbolic model checking
2	Kazuhiro Nakamura, Satoshi Yamane	Formal Verification of Real-Time Software by Symbolic Model-Checker.	ACSD	1998	DBLP DOI BibTeX RDF	temporal logic, approximations, BDD, symbolic model-checking, real-time software
2	William Chan, Richard J. Anderson, Paul Beame, Steve Burns, 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
2	Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan	Symbolic Model Checking for Probabilistic Processes.	ICALP	1997	DBLP DOI BibTeX RDF
2	Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine	On-the-fly symbolic model checking for real-time systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	on-the-fly symbolic model checking, timed temporal logic, boolean combinations, FDDI protocol verification, real-time systems, temporal logic, timed automaton, linear inequalities
2	Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar	Symbolic Model Checking with Rich ssertional Languages.	CAV	1997	DBLP DOI BibTeX RDF
2	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
2	Kenneth L. McMillan	A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking.	CAV	1996	DBLP DOI BibTeX RDF
2	George S. Avrunin	Symbolic Model Checking Using Algebraic Geometry.	CAV	1996	DBLP DOI BibTeX RDF
2	Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vassili Hartonas-Garmhausen	Symbolic Model Checking.	CAV	1996	DBLP DOI BibTeX RDF
2	Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk	Modeling and analysis of complex computer systems-the MTCCS approach.	ICECCS	1996	DBLP DOI BibTeX RDF	complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM
2	James C. Corbett	Evaluating Deadlock Detection Methods for Concurrent Software.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Concurrency analysis, inequality necessary conditions, empirical evaluation, symbolic model checking, state space reduction, Ada tasking
2	Edmund M. Clarke, Masahiro Fujita, Xudong Zhao	Hybrid decision diagrams.	ICCAD	1995	DBLP DOI BibTeX RDF	MTBDDs, arithmetic circuits verification, boolean vectors, hybrid decision diagrams, linear expressions, multi-terminal binary decision diagrams, symbolic model checking algorithms, computational complexity, time complexity, digital arithmetic, binary decision diagrams, circuit analysis computing, integers, BMDs
2	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
2	Marc-Michel Corsini, Antoine Rauzy	Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.	ESOP	1994	DBLP DOI BibTeX RDF	Symbolic Model Checking, Constraint Languages
2	Farn Wang, Aloysius K. Mok, E. Allen Emerson	Symbolic Model Checking for Distributed Real-Time Systems.	FME	1993	DBLP DOI BibTeX RDF
2	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
2	Thomas Filkorn	Functional Extension of Symbolic Model Checking.	CAV	1991	DBLP DOI BibTeX RDF
2	Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima	Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.	CAV	1991	DBLP DOI BibTeX RDF