Torthaí cuardaigh - "Program verification (Computers)"
-
1
Formal methods of V&V of partial specifications an experience report / by Steve Easterbrook and Jack Callahan. [microform] :
Foilsithe / Cruthaithe 1997LEABHAR -
2
RIACS workshop on the verification and validation of autonomous and adaptive systems Charles Pecheur, Willem Visser, Reid Simmons. [microform] /
Foilsithe / Cruthaithe 2001LEABHAR -
3
The formal semantics of PVS Sam Owre and Natarajan Shankar. [microform] /
Foilsithe / Cruthaithe 1999LEABHAR -
4
Formal verification of the AAMP-FV microcode Steven P. Miller [and others]. [microform] /
Foilsithe / Cruthaithe 1999LEABHAR -
5
Flight guidance system validation using SPIN Dimitri Naydich and John Nowakowski. [microform] /
Foilsithe / Cruthaithe 1998LEABHAR -
6
-
7
A practical approach to implementing real-time semantics Gerald Lüttgen, Girish Bhat, Rance Cleaveland. [microform] /
Foilsithe / Cruthaithe 1999LEABHAR -
8
Experiences using formal methods for requirements modeling by Steve Easterbrook [and others]. [microform] /
Foilsithe / Cruthaithe 1996LEABHAR -
9
A methodology for the design and verification of globally asynchronous/locally synchronous architectures / Steven P. Miller ... [and others].
Foilsithe / Cruthaithe 2005LEABHAR -
10
Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform] :
Foilsithe / Cruthaithe 1997LEABHAR -
11
The applicability of proposed object-oriented metrics to developer feedback in time to impact development by Ralph D. Neal. [microform] /
Foilsithe / Cruthaithe 1996LEABHAR -
12
Kodiak : an implementation framework for branch and bound algorithms / Andrew P. Smith [and three others].
Foilsithe / Cruthaithe July 2015LEABHAR -
13
A methodology for evaluating artifacts produced by a formal verification process / Radu I. Siminiceanu, Paul S. Miner and Suzette Person.
Foilsithe / Cruthaithe 2011LEABHAR -
14
Achieving agreement in three rounds with bounded-Byzantine faults / Mahyar R. Malekpour.
Foilsithe / Cruthaithe August 2015LEABHAR -
15
A criteria standard for conflict resolution : a vision for guaranteeing the safety of self-separation in NextGen / César Muñoz ... [and others].
Foilsithe / Cruthaithe 2010LEABHAR -
16
NASA software engineering benchmarking study / Heather L. Rarick [and four others].
Foilsithe / Cruthaithe 2013LEABHAR -
17
Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.
Foilsithe / Cruthaithe 2011LEABHAR -
18
Development of a flight software testing methodology : final report / Edward J. McCluskey and Dorothy M. Andrews.
Foilsithe / Cruthaithe 1985LEABHAR -
19
-
20
Transformational derivation of programs using the Focus system / Uday S. Reddy.
Foilsithe / Cruthaithe 1988LEABHAR