Sciweavers

23

FAC
1998

99views more FAC 1998»

Heterogeneous Notations for Pure Formal Method Integration

13 years 10 months ago

Heterogeneous Notations for Pure Formal Method Integration

Download www-users.cs.york.ac.uk

Richard F. Paige

claim paper

Read More »

20

FAC
1998

80views more FAC 1998»

Partiality and Nondeterminacy in Program Proofs

13 years 10 months ago

Partiality and Nondeterminacy in Program Proofs

Download www.computing.dcu.ie

Joseph M. Morris, Alexander Bunkenburg

claim paper

Read More »

35

FAC
1998

111views more FAC 1998»

A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes

13 years 10 months ago

A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes

Download igitur-archive.library.uu.nl

In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...

Henri Korver, M. P. A. Sellink

claim paper

Read More »

25

FAC
1998

64views more FAC 1998»

Formalization of Time and Space

13 years 10 months ago

Formalization of Time and Space

Download www.eecs.ucf.edu

Eric C. R. Hehner

claim paper

Read More »

25

FAC
1998

68views more FAC 1998»

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

13 years 10 months ago

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

Download www.cs.cmu.edu

Jürgen Dingel, David Garlan, Somesh Jha, Davi...

claim paper

Read More »