Search results for "reachable states"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Sukanta Das, Biplab K. Sikdar	Characterization of Non-reachable States in Irreversible CAState Space.	ACRI	2008	DBLP DOI BibTeX RDF	Irreversible CA, non-reachable states, reachability tree, attractor
2	Thao Dang, Colas Le Guernic, Oded Maler	Computing Reachable States for Nonlinear Biological Models.	CMSB	2009	DBLP DOI BibTeX RDF
2	Irith Pomeranz, Sudhakar M. Reddy	Expanded Definition of Functional Operation Conditions and its Effects on the Computation of Functional Broadside Tests.	VTS	2008	DBLP DOI BibTeX RDF	functional broadside tests, test generation, transition faults, reachable states, full-scan circuits
2	Mohammad Awedh, Fabio Somenzi	Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States.	FMCAD	2004	DBLP DOI BibTeX RDF
2	Irith Pomeranz	On the generation of scan-based test sets with reachable states for testing under functional operation conditions.	DAC	2004	DBLP DOI BibTeX RDF	functional tests, scan design, reachable states
2	Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal	Incremental methods for FSM traversal. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods
2	William L. Bradley, Ranga Vemuri	Transformations for functional verification of synthesized designs.	VLSI Design	1995	DBLP DOI BibTeX RDF	low-level functional verification, synthesized designs, clocking mechanisms, provably equivalent model, hierarchical network of modules, reduced state set, de-phase transform, align transform, algorithm, formal verification, transforms, transforms, logic CAD, clocks, hierarchical system, reachable states
2	George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states
1	Thao Dang, Colas Le Guernic, Oded Maler	Computing reachable states for nonlinear biological models.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra	Generating test programs to cover pipeline interactions.	DAC	2009	DBLP DOI BibTeX RDF	pipelines, automated test generation, state space exploration
1	Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri	Towards formal security analysis of GTRBAC using timed automata.	SACMAT	2009	DBLP DOI BibTeX RDF	GTRBAC, model checking, timed automata, security analysis, ctl
1	Irith Pomeranz, Sudhakar M. Reddy	Functional Broadside Tests Under an Expanded Definition of Functional Operation Conditions.	IEEE Trans. on CAD of Integrated Circuits and Systems	2009	DBLP DOI BibTeX RDF
1	Keyi Xing, MengChu Zhou, Huixia Liu, Feng Tian	Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2009	DBLP DOI BibTeX RDF
1	Colas Le Guernic, Antoine Girard	Reachability Analysis of Hybrid Systems Using Support Functions.	CAV	2009	DBLP DOI BibTeX RDF
1	Salvatore La Torre, P. Madhusudan, Gennaro Parlato	Reducing Context-Bounded Concurrent Reachability to Sequential Reachability.	CAV	2009	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated Context-Sensitive Analysis for Parameterized Verification.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Morten Kühnrich, Uwe Nestmann	On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Martin Dietzfelbinger, Stefan Edelkamp	Perfect Hashing for State Spaces in BDD Representation.	KI	2009	DBLP DOI BibTeX RDF
1	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Aspects preserving properties.	PEPM	2008	DBLP DOI BibTeX RDF	semantics, proof, temporal properties, aspect weaving
1	Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev	Sensitive state-space exploration.	CDC	2008	DBLP DOI BibTeX RDF
1	Jason Baumgartner, Hari Mony, Adnan Aziz	Optimal Constraint-Preserving Netlist Simplification.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Hangkyu Lee, Irith Pomeranz, Sudhakar M. Reddy	On Complete Functional Broadside Tests for Transition Faults.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Irith Pomeranz, Sudhakar M. Reddy	Improving the Transition Fault Coverage of Functional Broadside Tests by Observation Point Insertion.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Michel Bidoit, Rolf Hennicker	An Algebraic Semantics for Contract-Based Software Components.	AMAST	2008	DBLP DOI BibTeX RDF
1	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger	Loop Summarization Using Abstract Transformers.	ATVA	2008	DBLP DOI BibTeX RDF
1	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
1	Guido Governatori, Jörg Hoffmann, Shazia Wasim Sadiq, Ingo Weber	Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Business Process Models, Semantic Annotations, Regulatory Compliance
1	Jean-François Hren, Rémi Munos	Optimistic Planning of Deterministic Systems.	EWRL	2008	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova	Local Quantitative LTL Model Checking.	FMICS	2008	DBLP DOI BibTeX RDF
1	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
1	Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
1	Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh	Verification of Supervisory Control Software Using State Proximity and Merging.	HSCC	2008	DBLP DOI BibTeX RDF
1	Gourinath Banda, John P. Gallagher	Analysis of Linear Hybrid Systems in CLP.	LOPSTR	2008	DBLP DOI BibTeX RDF
1	Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun	Accelerating Interpolation-Based Model-Checking.	TACAS	2008	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic	Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.	TACAS	2008	DBLP DOI BibTeX RDF
1	Vijay D'Silva, Mitra Purandare, Daniel Kroening	Approximation Refinement for Interpolation-Based Model Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
1	Aaron R. Bradley, Zohar Manna	Property-directed incremental invariant generation.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation
1	Bostjan Potocnik, Gasper Music, Igor Skrjanc, Borut Zupancic	Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control.	Journal of Intelligent and Robotic Systems	2008	DBLP DOI BibTeX RDF	Hybrid systems, Reachability analysis, Probabilistic neural networks, Model predictive control
1	El maati Chabbar, Mohamed Bouhdadi	On Verification of Communicating Finite State Machines Using Residual Languages.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
1	Hiren D. Patel, Sandeep K. Shukla	Model-driven Validation of SystemC Designs.	DAC	2007	DBLP DOI BibTeX RDF
1	Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler	Algorithmic Analysis of Piecewise FIFO Systems.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Li Jiang, Lingdi Ping, Xuezeng Pan	Extending intransitive noninterference with probabilities in information flow security.	IMSCCS	2007	DBLP DOI BibTeX RDF
1	Yannick Monnet, Marc Renaudin, Régis Leveugle	Formal Analysis of Quasi Delay Insensitive Circuits Behavior in the Presence of SEUs.	IOLTS	2007	DBLP DOI BibTeX RDF
1	Irith Pomeranz, Sudhakar M. Reddy	Functional Broadside Tests with Different Levels of Reachability.	VLSI Design	2007	DBLP DOI BibTeX RDF
1	Sanghyeon Baeg	Delay Fault Coverage Enhancement by Partial Clocking for Low-Power Designs With Heavily Gated Clocks.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
1	Bengt Jonsson, Mayank Saksena	Systematic Acceleration in Regular Model Checking.	CAV	2007	DBLP DOI BibTeX RDF
1	César Sánchez, Henny B. Sipma, Zohar Manna	A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.	FASE	2007	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled	On Commutativity Based Edge Lean Search.	ICALP	2007	DBLP DOI BibTeX RDF
1	Raffaella Gentilini, Klaus Schneider, B. Mishra	Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking.	LFCS	2007	DBLP DOI BibTeX RDF
1	Jérôme Leroux, Grégoire Sutre	Accelerated Data-Flow Analysis.	SAS	2007	DBLP DOI BibTeX RDF
1	Micah Lewis, Michael Jones	A dead variable analysis for explicit model checking.	PEPM	2006	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
1	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic	Mixed symbolic representations for model checking software programs.	MEMOCODE	2006	DBLP DOI BibTeX RDF
1	Antoine Girard, Colas Le Guernic, Oded Maler	Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.	HSCC	2006	DBLP DOI BibTeX RDF
1	Mathieu Turuani	The CL-Atse Protocol Analyser.	RTA	2006	DBLP DOI BibTeX RDF
1	Koen Claessen, Jan-Willem Roorda	An Introduction to Symbolic Trajectory Evaluation.	SFM	2006	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Relative Safety.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng	On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.	CIAA	2006	DBLP DOI BibTeX RDF
1	Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari	Question-guided stubborn set methods for state properties.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem
1	Antti Valmari	What the small Rubik's cube taught me about data structures, information theory, and randomisation.	STTT	2006	DBLP DOI BibTeX RDF	Explicit state spaces
1	Shaomin Zhang, Baoyi Wang	The Research on Decision Approach of Data Dependence in Dynamic Workflow System.	PDCAT	2005	DBLP DOI BibTeX RDF
1	Sami Evangelista	High Level Petri Nets Analysis with Helena.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle	Error Detection Using BMC in a Parallel Environment.	CHARME	2005	DBLP DOI BibTeX RDF
1	David Ward, Fabio Somenzi	Automatic Generation of Hints for Symbolic Traversal.	CHARME	2005	DBLP DOI BibTeX RDF
1	Wiebke Dresp	Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets.	Communications and Multimedia Security	2005	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo	Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
1	Milan Ceska, Bohuslav Krena, Tomás Vojnar	Parallel State Space Generation and Exploration on Shared-Memory Architectures.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	John M. Rushby	An Evidential Tool Bus.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine	Simulation-Based Iteration of Tree Transducers.	TACAS	2005	DBLP DOI BibTeX RDF
1	Dean Rosenzweig, Davor Runje, Wolfram Schulte	Model-Based Testing of Cryptographic Protocols.	TGC	2005	DBLP DOI BibTeX RDF
1	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
1	Toni Jussila, Keijo Heljanko, Ilkka Niemelä	BMC via on-the-fly determinization.	STTT	2005	DBLP DOI BibTeX RDF	Verification, Labeled transition system, Bounded model checking
1	Charles Lakos, Laure Petrucci	Modular Analysis of Systems Composed of Semiautonomous Subsystems.	ACSD	2004	DBLP DOI BibTeX RDF
1	Chao Wang, Gary D. Hachtel, Fabio Somenzi	Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking.	ICCD	2004	DBLP DOI BibTeX RDF
1	ZhiWu Li, Hesuan Hu, MengChu Zhou	An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control.	SMC	2004	DBLP DOI BibTeX RDF
1	Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda	Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.	ATVA	2004	DBLP DOI BibTeX RDF
1	Lin Liu, Jonathan Billington	Reducing Parametric Automata: A Multimedia Protocol Service Case Study.	ATVA	2004	DBLP DOI BibTeX RDF
1	Kenneth L. McMillan	Applications of Craig Interpolation to Model Checking.	CSL	2004	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén	Forward Reachability Analysis of Timed Petri Nets.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha	Actively Learning to Verify Safety for FIFO Automata.	FSTTCS	2004	DBLP DOI BibTeX RDF
1	Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov	Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.	Global Computing	2004	DBLP DOI BibTeX RDF
1	Amit Bhatia, Emilio Frazzoli	Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha	Learning to Verify Safety Properties.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan	Modelling Dynamic Opacity Using Petri Nets with Silent Actions.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
1	Jaco Geldenhuys	State Caching Reconsidered.	SPIN	2004	DBLP DOI BibTeX RDF
1	Thomas Mailund, Michael Westergaard	Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.	TACAS	2004	DBLP DOI BibTeX RDF	memory efficient state representation, the sweep-line method, Verification, state space reduction, state space methods
1	Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson	Using Forward Reachability Analysis for Verification of Lossy Channel Systems.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	model checking, automata, protocol verification, infinite-state systems
1	Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén	SAT-Solving the Coverability Problem for Petri Nets.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	Petri nets, unfoldings, coverability, infinite state systems, partial-order methods
1	Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav	Efficient Verification of Sequential and Concurrent C Programs.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
1	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
1	Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso	Algorithmic Improvements in Regular Model Checking.	CAV	2003	DBLP DOI BibTeX RDF
1	Olaf Stursberg, Bruce H. Krogh	Efficient Representation and Computation of Reachable Sets for Hybrid Systems.	HSCC	2003	DBLP DOI BibTeX RDF	Hybrid Dynamic Systems, Hyperrectangles, Model Checking, Singular Value Decomposition, Convex Hull, Polyhedra
1	Jaco Geldenhuys, Antti Valmari	A Nearly Memory-Optimal Data Structure for Sets and Mappings.	SPIN	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Software Verification with BLAST.	SPIN	2003	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.	TACAS	2003	DBLP DOI BibTeX RDF
1	Daniel Jackson	Alloy: A Logical Modelling Language.	ZB	2003	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Sabina Rossi	Information Flow Security in Dynamic Contexts.	CSFW	2002	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Radu Siminiceanu	Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.	FMCAD	2002	DBLP DOI BibTeX RDF
1	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli	Exploiting Transition Locality in the Disk Based Mur phi Verifier.	FMCAD	2002	DBLP DOI BibTeX RDF
1	Lars Michael Kristensen, Thomas Mailund	A Generalised Sweep-Line Method for Safety Properties.	FME	2002	DBLP DOI BibTeX RDF	explicit state space exploration methods, state space reduction methods, practical use and tool support, reachability analysis, theoretical foundations