Results 221 to 230 of about 2,046,692 (239)

Proof by Cases in Formal Logic

The Annals of Mathematics, 1934
openaire   +1 more source

A Formal Framework for ASTRAL Intralevel Proof Obligations

IEEE Transactions on Software Engineering, 1994
Alberto Coen Porisini, D Mandrioli
exaly  

Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach

Lecture Notes in Computer Science, 1999
Jean Souyris
exaly  

Making the Most of Formal Specification Through Animation, Testing and Proof

Science of Computer Programming, 1997
Juan Bicarregui, Eoin Woods, Brian Matthews   +2 more
exaly  

Design and Formal Proof of a New Optimal Image Segmentation Program With Hypermaps

Pattern Recognition, 2007
Jean-François Dufourd
exaly  

Formal Proof From UML Models

Lecture Notes in Computer Science, 2004
Nuno Amálio, Susan Stepney, Fiona Polack   +2 more
exaly  

Asymptotic Cyclic Expansion and Bridge Groups of Formal Proofs

Journal of Algebra, 2001
Alessandra Carbone
exaly  

The use and abuse of formal proofs

ACM SIGPLAN Notices, 1983
openaire   +2 more sources

A New Formal Proof Model for RFID Location Privacy

Lecture Notes in Computer Science, 2008
Jianying Zhou, Jaecheol Ha, Sangjae Moon
exaly  

Using Formal Proof and B Method at System Level for Industrial Projects

Lecture Notes in Computer Science, 2016
exaly