Search results for "fairness assumptions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	On Combining Partial Order Reduction with Fairness Assumptions.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
2	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
2	Farn Wang	Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.	AMAST	2004	DBLP DOI BibTeX RDF	model-checking, verification, real-time, Distributed, fairness, events
2	Héctor Ruíz Barradas, Didier Bert	Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.	IFM	2002	DBLP DOI BibTeX RDF
2	Françoise Bellegarde, Samir Chouali, Jacques Julliand	Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.	ZB	2002	DBLP DOI BibTeX RDF	B event systems1, fairness hypotheses, PLTL verification, specification
2	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model-checking, temporal logic, abstraction, symmetry, automata, state explosion
2	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.	CAV	1995	DBLP DOI BibTeX RDF
1	Shao Jie Zhang, Jun Sun 0001, Jun Pang, Yang Liu 0003, Jin Song Dong	On Combining State Space Reductions with Global Fairness Assumptions.	FM	2011	DBLP DOI BibTeX RDF
1	Farn Wang	Simulation-Checking of Real-Time Systems with Fairness Assumptions	CoRR	2010	DBLP BibTeX RDF
1	Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko	Verifying liveness for asynchronous programs.	POPL	2009	DBLP DOI BibTeX RDF	asynchronous (event-driven) programming, fair termination, petri nets, liveness
1	Christel Baier, Marcus Größer, Frank Ciesinski	Quantitative Analysis under Fairness Constraints.	ATVA	2009	DBLP DOI BibTeX RDF
1	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	Scalable Multi-core Model Checking Fairness Enhanced Systems.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang	Specifying and Verifying Event-Based Fairness Enhanced Systems.	ICFEM	2008	DBLP DOI BibTeX RDF
1	Astrid Rakow	Slicing Petri Nets with an Application to Workflow Verification.	SOFSEM	2008	DBLP DOI BibTeX RDF	Net Reduction, Workflow nets, Verification, Slicing, CTL
1	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, Software model checking
1	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions	CoRR	2006	DBLP BibTeX RDF
1	Farn Wang	REDLIB for the Formal Verification of Embedded Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems with and without Fairness Assumptions	CoRR	2005	DBLP BibTeX RDF
1	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	POPL	2005	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, software model checking
1	Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski	Mean-Payoff Parity Games.	LICS	2005	DBLP DOI BibTeX RDF
1	Salvador Lucas, José Meseguer	Termination of Fair Computations in Term Rewriting.	LPAR	2005	DBLP DOI BibTeX RDF	fairness, program analysis, Concurrent programming, termination, term rewriting
1	Adrian Kosowski, Lukasz Kuszner	A Self-stabilizing Algorithm for Finding a Spanning Tree in a Polynomial Number of Moves.	PPAM	2005	DBLP DOI BibTeX RDF
1	José Meseguer	Localized Fairness: A Rewriting Semantics.	RTA	2005	DBLP DOI BibTeX RDF
1	Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud	On-the-Fly Emptiness Checks for Generalized Büchi Automata.	SPIN	2005	DBLP DOI BibTeX RDF
1	Amir Pnueli, Andreas Podelski, Andrey Rybalchenko	Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems.	TACAS	2005	DBLP DOI BibTeX RDF
1	Kimmo Varpaaniemi	On Stubborn Sets in the Verification of Linear Time Temporal Properties.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	reduced state space generation, stubborn sets, verification of LTL formulas, reachability analysis
1	Reino Kurki-Suonio	Action systems in incremental and aspect-oriented modeling.	Distributed Computing	2003	DBLP DOI BibTeX RDF	Incremental modeling, Formal specification, Aspects, Action systems, Superposition, TLA
1	Mehmet Hakan Karaata	Self-Stabilizing Strong Fairness under Weak Fairness.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	strong fairness, schedulers, Distributed systems, fairness, self-stabilization
1	A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson	SMC: a symmetry-based model checker for verification of safety and liveness properties.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	model checking, automata
1	Ed Brinksma	Cache Consistency by Design.	Distributed Computing	1999	DBLP DOI BibTeX RDF	Caching protocols, Correctness preserving, Transformations, Process algebra, Reactive systems, Formal design
1	Kimmo Varpaaniemi	On Stubborn Sets in the Verification of Linear Time Temporal Properties.	ICATPN	1998	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An Assume-Guarantee Rule for Checking Simulation.	FMCAD	1998	DBLP DOI BibTeX RDF
1	Ricardo Peña-Marí, Luis A. Galán	Proving Progress Properties of non Terminating Programs under Fairness Assumptions.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
1	Wolfgang Reisig	Petri Net Models of Distributed Algorithms.	Computer Science Today	1995	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	An Automata-Theoretic Approach to Fair Realizability and Synthesis.	CAV	1995	DBLP DOI BibTeX RDF
1	Bengt Jonsson	Compositional Specification and Verification of Distributed Systems.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning
1	Anuchit Anuchitanukul, Zohar Manna	Realizability and Synthesis of Reactive Modules.	CAV	1994	DBLP DOI BibTeX RDF
1	Doron Peled	All from One, One for All: on Model Checking Using Representatives.	CAV	1993	DBLP DOI BibTeX RDF
1	Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott	Towards a Theory of Actor Computation.	CONCUR	1992	DBLP DOI BibTeX RDF
1	Michael G. Main, David L. Black	Semantic Models for Total Correctness and Fairness.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
1	Simon S. Lam, A. Udaya Shankar	Refinement and Projection of Relational Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, protocols, Specification, temporal logic, refinement
1	Ralph-Johan Back, Reino Kurki-Suonio	Distributed Cooperation with Action Systems.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Chung-Kuo Chang	Proving Liveness for Networks of Communicating Finite State Machines.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Ernst-Rüdiger Olderog	Transformations Realizing Fairness Assumptions for Parallel Programs.	STACS	1984	DBLP DOI BibTeX RDF
1	Manfred Broy	Are Fairness Assumptions Fair?	ICDCS	1981	DBLP BibTeX RDF