Reasoned modelling critics: turning failed proofs into modelling guidance

DOI10.1016/J.SCICO.2011.03.006zbMath1264.68058DBLPjournals/scp/IrelandGLB13OpenAlexW2104677549WikidataQ59625829 ScholiaQ59625829MaRDI QIDQ1951639

Yanyan Li

Publication date: 6 June 2013

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.03.006

zbMATH Keywords

automated reasoningartificial intelligenceformal verificationformal methodsformal modellingreasoned modelling

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automating Event-B invariant proofs by rippling and proof patching

This page was built for publication: Reasoned modelling critics: turning failed proofs into modelling guidance