Formal Analysis of Optical Waveguides in HOL.

Osman Hasan Sanaz Khan Afshar Sofiène Tahar

Published in: TPHOLs (2009)

Keyphrases

formal analysis
formal methods
waveguide
electro optic
artificial intelligence
formal specification
theorem prover
agent model
theorem proving
knowledge based systems
model checking
higher order logic
ban logic
database
data distribution
refractive index
knowledge representation
wireless sensor networks