author-photo

Patrick Baudin

French Alternative Energies and Atomic Energy Commission

8

Papers

222

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

ACSL: ANSI/ISO C Specification Language

2008
Show All
- Source
- Cite
- Save
Citations (120)
Caveat: a tool for software validation

2002 DSN | Dependable Systems and Networks
Show All
- Source
- Cite
- Save
Citations (12)
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach

1999 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (25)
Assistance in Software Validation

1998
Show All
- Source
- Cite
- Save
Citations (1)
Using formal methods to validate C programs

1994 ISSRE | International Symposium on Software Reliability Engineering
Show All
- Source
- Cite
- Save
Citations (0)