3 search results - page 1 / 1 » On an Extensible Rule-Based Prover for Event-B |
ASM
2010
ASM
14 years 8 months ago
2010
ASM
STTT
2010
13 years 9 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...