Search results for "Assumption-commitment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
67	Swarup Mohalik, Ramaswamy Ramanujam	A Presentation of Regular Languages in the Assumption - Commitment Framework.	ACSD	1998	DBLP DOI BibTeX RDF	assumption-commitment, distributed systems, Regular languages
67	Paritosh K. Pandya	Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	Assumption Commitment Framework, Compositional Verification, Inductive Inference, Liveness properties
48	Qiwen Xu, Swarup Mohalik	Compositional Reasoning Using the Assumption-Commitment Paradigm.	COMPOS	1997	DBLP DOI BibTeX RDF
42	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
37	Swarup Mohalik, Ramaswamy Ramanujam	Assumption-Commitment in Automata.	FSTTCS	1997	DBLP DOI BibTeX RDF
37	Ketil Stølen	Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness.	ESOP	1996	DBLP DOI BibTeX RDF
37	Qiwen Xu, Antonio Cau, Pierre Collette	On Unifying Assumption-Commitment Style Proof Rules for Concurrency.	CONCUR	1994	DBLP DOI BibTeX RDF
30	Manfred Broy, Ingolf H. Krüger, Michael Meisinger	A formal model of services.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	assumption/commitment specifications, software architecture, Components, services, service engineering
30	Jürgen Dingel, David Garlan, Somesh Jha, David Notkin	Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Rely/guarantee, Assumption/commitment, Implicit invocation
25	Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf	Assumption-Commitment Types for Resource Management in Virtually Timed Ambients.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
25	Manfred Broy	Theory and methodology of assumption/commitment based system interface specification and architectural contracts.	Formal Methods Syst. Des.	2018	DBLP DOI BibTeX RDF
25	Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf	Assumption Commitment Types for Resource Management in Virtually Timed Ambients.	CoRR	2018	DBLP BibTeX RDF
25	Ahmed Mahdi, Bernd Westphal, Martin Fränzle	Transformations for Compositional Verification of Assumption-Commitment Properties.	RP	2014	DBLP DOI BibTeX RDF
25	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	AVoCS	2006	DBLP DOI BibTeX RDF
25	Manfred Broy	A Functional Rephrasing of the Assumption/Commitment Specification Style.	Formal Methods Syst. Des.	1998	DBLP DOI BibTeX RDF
25	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Assumption-Commitment Specifications and Safety-Critical Systems.	FBT	1998	DBLP BibTeX RDF
25	Antonio Cau, Pierre Collette	Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.	Acta Informatica	1996	DBLP DOI BibTeX RDF
25	Ketil Stølen, Frank Dederichs, Rainer Weber	Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm.	Formal Aspects Comput.	1996	DBLP DOI BibTeX RDF
25	Jürgen Dingel, Thomas Filkorn	Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.	CAV	1995	DBLP DOI BibTeX RDF
25	Pierre Collette	An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
25	Pierre Collette	Composition of Assumption-Commitment Specifications in a UNITY Style.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
25	Ketil Stølen, Frank Dederichs, Rainer Weber	Assumption, commitment rules for networks of asynchronously communicating agents	Forschungsberichte, TU Munich	1993	RDF
11	Sidi O. Ehmety, Lawrence C. Paulson	Mechanizing compositional reasoning for concurrent systems: some lessons.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning
11	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	Proving correctness of timed concurrent constraint programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Concurrency, constraints, temporal logic, reactive systems
11	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	Proving Correctness of Timed Concurrent Constraint Programs.	FoSSaCS	2002	DBLP DOI BibTeX RDF	Concurrency, constraints, temporal logic, real-time programming
11	Jürgen Dingel	A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.	AMAST	1998	DBLP DOI BibTeX RDF
11	Martín Abadi, Stephan Merz	An Abstract Account of Composition.	MFCS	1995	DBLP DOI BibTeX RDF
11	Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever	Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.	FSTTCS	1995	DBLP DOI BibTeX RDF
11	Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko	Modular Verification of Petri Nets: The Temporal Logic Approach.	REX Workshop	1989	DBLP DOI BibTeX RDF	modular system design, verification, Petri nets, specification, temporal logic, computer architecture
11	Jozef Hooman	A Compositional Proof Theory for Real-Time Distributed Message Passing.	PARLE (2)	1987	DBLP DOI BibTeX RDF