Specifying Imperative ML-like Programs Using Dynamic Logic ⋆

by Séverine Maingaud , Vincent Balat , Richard Bubel , Reiner Hähnle , Re Miquel , Université Paris , Diderot Paris , Ens Lyon , Université De Lyon , Key Af

Active Bibliography

552 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
599 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000
1228 Proof-Carrying Code – George C. Necula - 1997
745 Applying design by contract – Bertrand Meyer - 1992
610 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
1285 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
914 The Temporal Logic of Actions – Leslie Lamport - 1993
670 Dynamically discovering likely program invariants to support program evolution – Michael D Ernst, Jake Cockrell, William G Griswold, David Notkin
1127 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990