Model checking

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Deductive program design
1. Verfasser:	Clarke, E. (VerfasserIn)
Weitere Verfasser:	Crumberg, O. (VerfasserIn), Long, D. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1996
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
The balance and the coins : (EDW1083)	1996	Dijkstra, Edsger W.
Data refinement and the transform	1996	Gries, David
Notes on proof outline logic	1996	Schneider, Fred B.
Fibonacci and the greatest common divisor : (EWD1077)	1996	Dijkstra, Edsger W.
A bagatelle on Euclid's Algorithm : (EWD1158)	1996	Dijkstra, Edsger W.
The algebra of programming	1996	Bird, Richard
On TLA as a Logic	1996	Abadi, Martin
On two equations that have the same extreme solution : (EWD1168)	1996	Dijkstra, Edsger W.
Mathematical models for computing science	1996	Hoare, C.A.R.
Specification and refinement of a Buffer of length one	1996	Broy, Manfred
Model checking	1996	Clarke, E.
Proof and Design : machine-assisted formal proof as a basis for behavioural design tools	1996	Fourman, Michael P.
A program transformation approach to asynchronous VLSI design	1996	Martin, Alain J.
On tradtitions in Marktoberdorf	1996	Schneider, Fred B.
Buterman's theorem on shortest trees : (EWD1131)	1996	Dijkstra, Edsger W.
A prime is in at most 1 way the sum of 2 squares : (EWD1155a)	1996	Dijkstra, Edsger W.
Interaction categories and thte foundations of typed concurrent programming	1996	Abramsky, Samson
The argument about the arithmetic mean and thte geometric mean, heuristics included : (EWD1171)	1996	Dijkstra, Edsger W.