Back to Results
First PageMeta Content
Logic in computer science / Control flow / Object-oriented programming / Program logic / Procedural programming languages / Postcondition / Exception handling / Eiffel / Precondition / Software engineering / Computing / Computer programming


Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program
Add to Reading List

Document Date: 2011-06-23 07:40:14

Open Document

File Size: 328,78 KB

Share Result on Facebook

/

IndustryTerm

free software / verification tools / bank / prover tools / verification techniques and tools / software verification / verification tool / /

Person

Boogie Julian Tschannen / Carlo A. Furia / Martin Nordio / /

Position

observer / and factory design patterns / /

ProgrammingLanguage

Java / C / /

Technology

object-oriented programming / Java / /

URL

http /

SocialTag