Mapping of Structured English Sentences to CCTL Formulae ∗

@inproceedings{Flake2000MappingOS,
  title={Mapping of Structured English Sentences to CCTL Formulae ∗},
  author={Stephan Flake and Wolfgang Mueller and J{\"u}rgen Ruf},
  year={2000}
}
Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently of growing interest in general systems design. Though its concepts and applications are well understood it often turns out that engineers have severe problems with the specification process and the underlying notation, i.e… CONTINUE READING