๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Boolean and Cartesian abstraction for model checking C programs

โœ Scribed by Thomas Ball; Andreas Podelski; Sriram K. Rajamani

Publisher
Springer
Year
2002
Tongue
English
Weight
215 KB
Volume
5
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

AQUA and PROCHECK-NMR: Programs for chec
AQUA and PROCHECK-NMR: Programs for checking the quality of protein structures solved by NMR
โœ Roman A. Laskowski; J. Antoon C. Rullmann; Malcolm W. MacArthur; Robert Kaptein; ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 965 KB

R o m a n A. L a s k o w s k i a'\*\*, J. A n t o o n C. R u l l m a n n b'\*\*, M a l c o l m W. M a c A r t h u r a, R o b e r t K a p t e i n b a n d J a n e t M . T h o r n t o n a'\*\*\*

General purpose model and a computer pro
General purpose model and a computer program for combined segregation and path analysis (SEGPATH): Automatically creating computer programs from symbolic language model specifications
โœ Michael A. Province; D. C. Rao ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 949 KB

A general purpose model and a flexible computer program, called SEGPATH, have been developed to assist in the creation and implementation of a variety of genetic epidemiological models. SEGPATH is a computer program which can be used to generate programs to implement linear models for pedigree data,