Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CSL
2006
Springer

favoriteEmaildiscussreport

90views Automated Reasoning» more CSL 2006»

Hoare Logic in the Abstract

13 years 8 months ago

Hoare Logic in the Abstract

Download www.eecs.qmul.ac.uk

Ursula Martin, Erik A. Mathiesen, Paulo Oliva

Real-time Traffic

Automated Reasoning | CSL 2006 |

claim paper

Related Content

» Relational Parametricity and Separation Logic

» A General Framework for Sound and Complete FloydHoare Logics

» A SyntaxDirected Hoare Logic for ObjectOriented Programming Concepts

» Hoare Logic for ARM Machine Code

» A Realizability Model for Impredicative Hoare Type Theory

» Matching Logic An Alternative to HoareFloyd Logic

» About Hoare Logics for HigherOrder Store

» Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures

» A Termination Checker for Isabelle Hoare Logic

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	CSL
Authors	Ursula Martin, Erik A. Mathiesen, Paulo Oliva

Comments (0)