MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Laurence Pierre" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Refining Iterative Programs in the B Method: a Case Study  
  • by Ludmila Klenov, Laurence Pierre — 2002
  • … The necessity of using formal methods in software engineering is now widely recognized [6, 2], in particular in the framework of safety-critical systems. There are mainly two ways of exploiting formal methods: the verification a posteriori of the correctness of already implemented programs, or the…
  • Add To MetaCart
  • Model Checking TLA  
  • by Specifications Yuan Yu, Yuan Yu, Panagiotis Manolios, Leslie Lamport, Laurence Pierre
  • …. TLA + is a specification language for concurrent and reactive systems that combines the temporal logic TLA with full first-order logic and ZF set theory. TLC is a new model checker for debugging a TLA + specification by checking invariance properties of a finite-state model of the specifica…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB