Automated Formal Methods Enter the Mainstream
The work
| Authors | John Rushby |
|---|---|
| Editors | |
| Type | article |
| Year | 2007 |
| Citekey | rushby2007automated |
Where it appeared
| Published in | Journal of Universal Computer Science |
|---|---|
| Publisher | Verlag der Technischen Universität Graz |
| Volume | 13 |
| Issue | 5 |
| Pages | 650--660 |
Identifiers
| DOI | 10.3217/jucs-013-05-0650 |
|---|---|
| OpenAlex | W2150144171 |
Access
| URL | https://www.csl.sri.com/~rushby/papers/csi07.pdf |
|---|---|
| Landing page | https://lib.jucs.org/article/28791/ |
Empty on purpose
| abstract |
Related
| Distinct from | clarke1996formal |
|---|---|
| Distinct from | rushby2007justintime |
| Distinct from | rushby2009software |
A copy is held
pdf, 50.4 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via datacite |
|---|---|
| Added | 2026-08-16 00:00 UTC |
| Approved by | a person 2026-10-05 21:33 UTC |
Filed under
Cite it as
@article{rushby2007automated,
title = {Automated Formal Methods Enter the Mainstream},
author = {John Rushby},
year = {2007},
journal = {Journal of Universal Computer Science},
publisher = {Verlag der Technischen Universität Graz},
volume = {13},
number = {5},
pages = {650--660},
doi = {10.3217/jucs-013-05-0650},
}
This record lives at https://refs.drheap.org/rushby2007automated/ and will keep doing so.