Results 261 to 270 of about 152,174 (303)
Some of the next articles are maybe not open access.
A synthesizer of inductive assertions
Proceedings of the May 19-22, 1975, national computer conference and exposition on - AFIPS '75, 1975Mechanical verification of program correctness is desirable and possible. Given a program with complete, correct predicate specifications on the input, output, and each loop, verification of the output predicate is a mechanical process (cf. References 5 and 15 for surveys).
Steven M. German, Ben Wegbreit
openaire +3 more sources
Journal of Religion and Health, 1978
To the everyday man or woman, the word "assertive" probably connotes impressions of being outspoken, opinionated, and perhaps more than a little aggressive. Assertiveness can involve these things and often does, but it is not synonymous with aggression, which is usually destructive.
openaire +2 more sources
To the everyday man or woman, the word "assertive" probably connotes impressions of being outspoken, opinionated, and perhaps more than a little aggressive. Assertiveness can involve these things and often does, but it is not synonymous with aggression, which is usually destructive.
openaire +2 more sources
Assertion: A (partly) social speech act
Journal of Pragmatics, 2021Neri Marsili, Mitchell Green
exaly
A Survey on Assertion-based Hardware Verification
ACM Computing Surveys, 2022Yangdi Lyu +2 more
exaly
Journal of Psychosocial Nursing and Mental Health Services, 1987
C, Zappe, D, Epstein
openaire +2 more sources
C, Zappe, D, Epstein
openaire +2 more sources