Computer software - Verification.
Overview
| Works: | 29 works in 12 publications in 12 languages | |
|---|---|---|
Titles
Guide to software verification with Frama-C = core components, usages, and applications /
by:
(Language materials, printed)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Rigorous software development = an introduction to program verification /
by:
(Language materials, printed)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(Language materials, printed)
Assurances for self-adaptive systems = Principles, Models, and Techniques /
by:
(Language materials, printed)
Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
(Language materials, printed)
Software verification and analysis = an integrated, hands-on approach /
by:
(Language materials, printed)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(Language materials, printed)
Deductive software verification - The KeY Book = from theory to practice /
by:
(Language materials, printed)
Software engineering = specification, implementation, verification /
by:
(Language materials, printed)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
(Language materials, printed)
Formal verification of Simulink/Stateflow diagrams = a deductive approach /
by:
(Language materials, printed)
Show more
Fewer
Subjects