Volume 19, Issue 3

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

August 2007

8 articles in this issue

Guest Editorial
Ranko Lazic
Rajagopal Nagarajan
News 12 July 2007 Pages: 275 - 275
Interactive tool support for CSP || B consistency checking
Neil Evans
Helen Treharne
Original Article 03 May 2007 Pages: 277 - 302
Responsiveness and stable revivals
J. N. Reed
A. W. Roscoe
J. E. Sinclair
Original Article 05 April 2007 Pages: 303 - 319
Verification of clock synchronization algorithms: experiments on a combination of deductive tools
Damián Barsotti
Leonor Prensa Nieto
Alwen Tiu
Original Article 03 May 2007 Pages: 321 - 341
Proof producing synthesis of arithmetic and cryptographic hardware
Konrad Slind
Scott Owens
Mike Gordon
Original Article 30 May 2007 Pages: 343 - 362
Generalised multi-pattern-based verification of programs with linear linked structures
Milan Češka
Pavel Erlebach
Tomáš Vojnar
Original Article 30 March 2007 Pages: 363 - 374
Program verification with interacting analysis plugins
Nathaniel Charlton
Original Article 05 April 2007 Pages: 375 - 399
Predicate diagrams for the verification of real-time systems
Eun-Young Kang
Stephan Merz
Original Article 28 March 2007 Pages: 401 - 413

Volume 19, Issue 3

Search

Navigation